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