Model-based Test Cases Generation Method for Weapons System Software

Choi, Hyunjae; Lee, Youngwoo; Baek, Jisun; Kim, Donghwan; Cho, Kyutae; Chae, Heungseok

doi:2020.23.4.389

J. KIMS Technol > Volume 23(4); 2020 > Article

Research Paper

정보·통신 부문

Journal of the Korea Institute of Military Science and Technology 2020;23(4):389-398.
DOI: https://doi.org/10.9766/KIMST.2020.23.4.389 Published online August 5, 2020.

Model-based Test Cases Generation Method for Weapons System Software

Hyunjae Choi¹, Youngwoo Lee¹, Jisun Baek², Donghwan Kim³, Kyutae Cho², Heungseok Chae¹

¹Department of Computer Engineering, Pusan National University, Korea
²Intelligent Software System, LIG Nex1, Korea
³Intelligent & Software, LIG Nex1, Korea

무기체계 소프트웨어의 모델 기반 테스트 케이스 생성 방법

최현재¹, 이영우¹, 백지선², 김동환³, 조규태², 채흥석¹

¹부산대학교 컴퓨터공학과
²LIG넥스원㈜ SW지능화연구팀
³LIG넥스원㈜ 지능형SW연구소

Correspondence: Heungseok Chae,
Email: hschae@pusan.ac.kr

Received: 8 May 2020; Revised: 7 July 2020; Accepted: 24 July 2020;

Abstract

Test cases in the existing weapon system software were created manually by the tester analyzing the test items defined in the software integration test procedure. However, existing test case generation method has two limitations. First, the quality of test cases can vary depending on the tester's ability to analyze the test items. Second, excessive time and cost may be incurred in writing test cases. This paper proposes a method to automatically generate test cases based on the requirements model and specifications to overcome the limitations of the existing weapon system software test case generation. Generate test sequences and test data based on the use case event model, a model representing the requirements of the weapon system software, and the use case specification specifying the requirements. The proposed method was applied to 8 target models constituting the avionics control system, producing 30 test sequences and 8 test data.

Key Words: Model based Testing, Test Case Generation, Test Automation, Waepon System Software Test