TY - GEN
T1 - A Model-Based Test Cases Generation Method for Seeker Software
AU - Shi, Jing Ao
AU - Yin, Beibei
AU - Cai, Qing
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.
PY - 2025
Y1 - 2025
N2 - With the increasing combat requirements and the development of seeker software design technology, the test requirements for seeker software continue to grow, which should be covered more comprehensively and effectively. The current test case generation method for seeker software is often based on manual processes, which are not only time-consuming and labor-intensive but also fail to meet coverage requirements. To enhance the efficiency and effectiveness of seeker software test, it is necessary to develop a method for automatic test case generation. Model-based testing is a common approach for automated test case generation, whose effectiveness has been shown by previous studies. However, seeker software exhibits unique characteristics such as state rollback, non-fixed end states, and limited transitions. Therefore, a comprehensive modeling method for seeker software combined with MBT is proposed in this paper. Based on this foundation, we investigate a test case generation method suitable for seeker software models, which employs novel coverage criteria and path search criteria tailored specifically for seeker software.
AB - With the increasing combat requirements and the development of seeker software design technology, the test requirements for seeker software continue to grow, which should be covered more comprehensively and effectively. The current test case generation method for seeker software is often based on manual processes, which are not only time-consuming and labor-intensive but also fail to meet coverage requirements. To enhance the efficiency and effectiveness of seeker software test, it is necessary to develop a method for automatic test case generation. Model-based testing is a common approach for automated test case generation, whose effectiveness has been shown by previous studies. However, seeker software exhibits unique characteristics such as state rollback, non-fixed end states, and limited transitions. Therefore, a comprehensive modeling method for seeker software combined with MBT is proposed in this paper. Based on this foundation, we investigate a test case generation method suitable for seeker software models, which employs novel coverage criteria and path search criteria tailored specifically for seeker software.
KW - Model-based Testing
KW - Seeker Software
KW - Test Cases Automated Generation
KW - Test Path Searching
UR - https://www.scopus.com/pages/publications/105006413201
U2 - 10.1007/978-981-96-2200-9_33
DO - 10.1007/978-981-96-2200-9_33
M3 - 会议稿件
AN - SCOPUS:105006413201
SN - 9789819621996
T3 - Lecture Notes in Electrical Engineering
SP - 333
EP - 344
BT - Advances in Guidance, Navigation and Control - Proceedings of 2024 International Conference on Guidance, Navigation and Control Volume 1
A2 - Yan, Liang
A2 - Duan, Haibin
A2 - Deng, Yimin
PB - Springer Science and Business Media Deutschland GmbH
T2 - International Conference on Guidance, Navigation and Control, ICGNC 2024
Y2 - 9 August 2024 through 11 August 2024
ER -