Получение сведений о трассируемости требований к программному обеспечению на файлы исходного кода приложения является сложной прикладной проблемой. Особенно при установлении необходимого объема верификационных процедур, выполнение которых необходимо для подтверждения выполнимости требований при изменении одного или нескольких файлов исходного кода. Разработана модель, которая обеспечивает анализ связности файлов исходного кода между собой и их соответствие требованиям. Предложен метод разрешения циклических зависимостей и формирования графа трассируемости требований на файлы исходного кода. Предложена программная реализация модели, в состав которой включены опциональные модули для исследования ее оптимальной конфигурации. Исследована зависимость времени работы от реализации способа хранения данных в разработанном программном решении.

требования, трассируемость, исходный код, графовые модели, ориентированный граф, циклы

Математическое моделирование в актуальных проблемах науки и техники

Судаков Владимир Анатольевич,  ,  orcid.org/0000-0002-1658-1941,  ИПМ им. М.В. Келдыша РАН

Шаблий Алексей Денисович,  ,  orcid.org/0009-0003-9632-0251,  Московский авиационный институт