Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 31, Москва, 2024 г.
Авторы: Судаков В.А., Шаблий А.Д.
Разрешение циклических зависимостей графовой модели взаимосвязи требований к программному обеспечению
Аннотация:
Получение сведений о трассируемости требований к программному обеспечению на файлы исходного кода приложения является сложной прикладной проблемой. Особенно при установлении необходимого объема верификационных процедур, выполнение которых необходимо для подтверждения выполнимости требований при изменении одного или нескольких файлов исходного кода. Разработана модель, которая обеспечивает анализ связности файлов исходного кода между собой и их соответствие требованиям. Предложен метод разрешения циклических зависимостей и формирования графа трассируемости требований на файлы исходного кода. Предложена программная реализация модели, в состав которой включены опциональные модули для исследования ее оптимальной конфигурации. Исследована зависимость времени работы от реализации способа хранения данных в разработанном программном решении.
Ключевые слова:
требования, трассируемость, исходный код, графовые модели, ориентированный граф, циклы
Язык публикации: русский,  страниц: 13
Направление исследований:
Математическое моделирование в актуальных проблемах науки и техники
Полный текст на русском языке:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 26 (+26), всего с 06.05.2024 — 26
Сведения об авторах:
  • Судаков Владимир Анатольевич,  orcid.org/0000-0002-1658-1941ИПМ им. М.В. Келдыша РАН
  • Шаблий Алексей Денисович,  orcid.org/0009-0003-9632-0251Московский авиационный институт