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