Разрешение циклических зависимостей графовой модели взаимосвязи требований к программному обеспечению

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