Model-based automated test method for spacecraft system

Abstract

The invention discloses a model-based automated test method for a spacecraft system and belongs to the field of system testing. The method comprises the steps of firstly building a window tree model of a tested spacecraft system through a formalization method, classifying behavior states of the tested spacecraft system during operation according to business processes, and constructing a system behavior state transition diagram; secondly traversing a window tree to generate a test case set, running the test case set in a tested spacecraft digital model and validation prototype system, setting tracking points, obtaining system behavior states and recording a state transition sequence; and finally checking whether the obtained state transition sequence obeys a state transition rule or not through a model detection algorithm, thereby automatically validating overall design of the tested spacecraft system and interface design among modules. According to the method, the test cost of the spacecraft system and the whole research and development cycle of the spacecraft system are reduced and shortened by adopting a model-based test technology; and the quality and accuracy of spacecraft system testing are improved by adopting the formalization method and the model detection algorithm.

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