Модель управляющих алгоритмов испытаний бортовых систем космических аппаратов

Abstract

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

Показано, що через складність та ієрархічність керуючих алгоритмів існує необхідність у розробці моделі керуючого алгоритму випробувань бортових систем космічних апаратів, яка призначена для верифікації таких алгоритмів, а також для аналізу результатів роботи програмного забезпечення випробувань.