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

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

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

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

Кл.слова (ненормированные): ГРАФОВЫЕ МОДЕЛИ -- ИСХОДНЫЙ КОД -- ОРИЕНТИРОВАННЫЙ ГРАФ -- ТРАССИРУЕМОСТЬ -- ТРЕБОВАНИЯ -- ЦИКЛЫ
Аннотация: Получение сведений о трассируемости требований к программному обеспечению на файлы исходного кода приложения является сложной прикладной проблемой. Особенно при установлении необходимого объема верификационных процедур, выполнение которых необходимо для подтверждения выполнимости требований при изменении одного или нескольких файлов исходного кода. Разработана модель, которая обеспечивает анализ связности файлов исходного кода между собой и их соответствие требованиям. Предложен метод разрешения циклических зависимостей и формирования графа трассируемости требований на файлы исходного кода. Предложена программная реализация модели, в состав которой включены опциональные модули для исследования ее оптимальной конфигурации.
Доп. точки доступа:
Шаблий, Алексей Денисович
Институт прикладной математики имени М. В. Келдыша (Москва)

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/31 за 2024 г.)

Шифр в сводном ЭК: 0148fc83617d79c165c27ed78c9a1137

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