Research on Model Based Virtual Test Method for Spacecraft

Spacecraft as a complex system, timely verification of its design and interface accuracy is an important means to improve the quality of system development. Virtual test technology can advance the baseline of test time for complex systems and become a research hotspot in spacecraft testing. This paper presents a virtual test method based on model detection. The window tree model was used to model the complex system. The state transition diagram was used as the system protocol to describe the correctness of the system behavior. Then the model-based virtual test of spacecraft was realized, and the virtual test platform was designed to realize the application of spacecraft.