УДК 681.518.3 ББК 39.56

Мамкин Е. М.

Крыцин А. В.

Ильяшенко Д. М.

Дяченко С. А.

Неретин Е. С.

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

Ключевые слова: гражданский самолёт, авионика, программное обеспечение, верификация, распознавание изображений, нейронная сеть.

Скачать  270,4 kB