A model-based automated testing method for spacecraft systems

Abstract

The invention discloses a model-based spacecraft system automatic testing method, which belongs to the field of system testing; first, a window tree model of the tested spacecraft system is established through a formal method, and the window tree model of the tested spacecraft system is divided according to the business process. Behavior state, build system behavior state transition diagram; then traverse the window tree to generate a test case set, and run it on the digital model of the spacecraft under test and the verification prototype system, set the tracking point, obtain the system behavior state and record the state transition sequence, and finally pass the model The detection algorithm checks whether the obtained behavioral state transition sequence follows the state transition rules, thereby automatically verifying the overall design of the spacecraft system under test and the interface design between modules; Throughout the development cycle of spacecraft systems, formal methods and model checking algorithms are used to improve the quality and accuracy of spacecraft system testing.

Description

technical field [0001] The invention belongs to the field of system testing, in particular to a model-based automatic testing method for spacecraft systems. Background technique [0002] The spacecraft system is a complex system consisting of many subsystems such as control subsystem, measurement and control subsystem, power supply subsystem, and navigation subsystem. The development process of a spacecraft system is a multidisciplinary and extremely complex process. In actual development, the spacecraft system is distributed to many different manufacturers for development, and then different modules and subsystems are integrated together to form the entire spacecraft system. The testing process is also to test each module and subsystem separately and then integrate them together. Overall testing, among them, the interface testing after integration is very important, and the system testing tasks after integration are heavy, currently mainly rely on manual testing to complet...

AI Technical Summary

Problems solved by technology

However, most of the research focuses on the development of the software simulation test system and environment, and the test is only carried out on the virtual instrument or virtual test platform, or the function and performance of the spacecraft system are model-based tests, not in the system. Formal modeling and automatic verification testing of the overall design and interface design

Images