A Model-based Test Cases Generation Method for Spacecraft Software

• Published in: 2021 8th International Conference on Dependable Systems and Their Applications (DSA) pp. 373 - 382
• Main Authors: Tian, Ye, Yin, Beibei, Li, Chenglong
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01-08-2021
• Subjects: Adaptation models; Adaptive Random Test-ing; Combinatorial testing; model-based testing; Software; Space vehicles; spacecraft software; test cases generation; Testing; Unified modeling language
• ISSN: 2767-6684
• DOI: 10.1109/DSA52907.2021.00057

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.