Статья: Формализация структурной сложности программного обеспечения автоматизированной системы управления как фактора проектной оценки его надежности (2025)

Читать онлайн

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

Ключевые фразы: АВТОМАТИЗИРОВАННАЯ СИСТЕМА УПРАВЛЕНИЯ, водный транспорт, проект, ПРОГРАММНЫЙ МОДУЛЬ, структура, сложность, надежность
Автор (ы): НЫРКОВ АНАТОЛИЙ ПАВЛОВИЧ, КОРОТКОВ ВИТАЛИЙ ВАЛЕРЬЕВИЧ, Гаскаров Вагиз Диляурович
Журнал: ВЕСТНИК ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА МОРСКОГО И РЕЧНОГО ФЛОТА ИМ. АДМИРАЛА С. О. МАКАРОВА

Предпросмотр статьи

Идентификаторы и классификаторы

SCI
Коммуникации
УДК
004. Информационные технологии. Компьютерные технологии. Теория вычислительных машин и систем
Префикс DOI
10.21821/2309-5180-2025-17-4-613-620
Для цитирования:
НЫРКОВ А. П., КОРОТКОВ В. В., ГАСКАРОВ В. Д. ФОРМАЛИЗАЦИЯ СТРУКТУРНОЙ СЛОЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ УПРАВЛЕНИЯ КАК ФАКТОРА ПРОЕКТНОЙ ОЦЕНКИ ЕГО НАДЕЖНОСТИ // ВЕСТНИК ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА МОРСКОГО И РЕЧНОГО ФЛОТА ИМ. АДМИРАЛА С. О. МАКАРОВА. 2025. Т. 17 №4
Текстовый фрагмент статьи