A Model-based Test Cases Generation Method for Spacecraft Software

In order to systematically generate sufficient test scenes for the spacecraft’s controller software, an automatic model-based test cases generation method is proposed in this article. More specifically, the test requirement is modelled as a statechart diagram using Unified Modeling Language, which can be converted into an intermediate model. After that, test scenes that consider the entire natural scenes are automatically generated from this intermediate model. In this paper, a method to generate test scenes in a particular distribution is proposed, which may reveal more mistakes in the software. The testing framework is a model-based test cases generation method combined with Combinatorial Testing and Adaptive Random Testing, which improves the deficiencies of the designing test scenes manually. The test scenes generated by this method can be directly used for the test of spacecraft.