Methods of Test Procedures' Generation on the Basis of Simulation Model's Knowledge Base

摘要

We represent a new approach to testing of spacecraft onboard equipment's functional control using simulation model's knowledge base for test procedures' generation. It allows to analyze characteristics of the objects under study using software models with further creation of real equipment's testing methods on their basis.