TY - GEN
T1 - A Model-based Test Cases Generation Method for Spacecraft Software
AU - Tian, Ye
AU - Yin, Beibei
AU - Li, Chenglong
N1 - Publisher Copyright:
© 2021 IEEE.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
KW - Adaptive Random Test-ing
KW - Combinatorial Testing
KW - model-based testing
KW - spacecraft software
KW - test cases generation
UR - https://www.scopus.com/pages/publications/85123484066
U2 - 10.1109/DSA52907.2021.00057
DO - 10.1109/DSA52907.2021.00057
M3 - 会议稿件
AN - SCOPUS:85123484066
T3 - Proceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021
SP - 373
EP - 382
BT - Proceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 8th International Conference on Dependable Systems and Their Applications, DSA 2021
Y2 - 11 September 2021 through 12 September 2021
ER -