Полное описание

М/16400/31 за 2024 г.
004.41/С 892
Судаков, Владимир Анатольевич. Разрешение циклических зависимостей графовой модели взаимосвязи требований к программному обеспечению / В. А. Судаков, А. Д. Шаблий. - Москва : ИПМ им. М. В. Келдыша РАН, 2024. - 13 с. : ил. - (Препринт / Институт прикладной математики имени М. В. Келдыша Российской академии наук (Москва), ISSN 2071-2898 ; 31 за 2024 г. = М/16400). - Библиогр.: с. 11-13 (21 назв.). - 59 экз. - DOI 10.20948/prepr-2024-31 : 75 р. - Текст (визуальный) : непосредственный.
На обложке: Российская академия наук - 300 лет.
Содержание:
Введение. - С. 3
Описание модели. - С. 4
Программная реализация. - С. 7
Эксперименты и обслуживание. - С. 9
Заключение. - С. 11

ГРНТИ	УДК
50.41	004.414.3(04)

Рубрики:
Программное обеспечение ЭВМ -- Проектирование

Кл.слова (ненормированные): требования -- трассируемость -- исходный код -- графовые модели -- ориентированный граф -- циклы
Аннотация: Получение сведений о трассируемости требований к программному обеспечению на файлы исходного кода приложения является сложной прикладной проблемой. Особенно при установлении необходимого объема верификационных процедур, выполнение которых необходимо для подтверждения выполнимости требований при изменении одного или нескольких файлов исходного кода. Разработана модель, которая обеспечивает анализ связности файлов исходного кода между собой и их соответствие требованиям. Предложен метод разрешения циклических зависимостей и формирования графа трассируемости требований на файлы исходного кода. Предложена программная реализация модели, в состав которой включены опциональные модули для исследования ее оптимальной конфигурации.
Доп. точки доступа:
Шаблий, Алексей Денисович
Институт прикладной математики имени М. В. Келдыша (Москва)

Имеются экземпляры в отделах: всего 1 : ПНТ (1)
Свободны: ПНТ (1)
Обложка
Переход по DOI

Заказать издание
Заказ фрагмента документа ₽