Browse > Article
http://dx.doi.org/10.9766/KIMST.2020.23.4.389

Model-based Test Cases Generation Method for Weapons System Software  

Choi, Hyunjae (Department of Computer Engineering, Pusan National University)
Lee, Youngwoo (Department of Computer Engineering, Pusan National University)
Baek, Jisun (Intelligent Software System, LIG Nex1)
Kim, Donghwan (Intelligent & Software, LIG Nex1)
Cho, Kyutae (Intelligent Software System, LIG Nex1)
Chae, Heungseok (Department of Computer Engineering, Pusan National University)
Publication Information
Journal of the Korea Institute of Military Science and Technology / v.23, no.4, 2020 , pp. 389-398 More about this Journal
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.
Keywords
Model based Testing; Test Case Generation; Test Automation; Waepon System Software Test;
Citations & Related Records
연도 인용수 순위
  • Reference
1 B. Beizer, "Software Testing Techniques," Van Nostrand Reinhold Co., New York, NY, USA, 1990.
2 M. Xiao, M. El-Attar, M. Reformat, "Empirical Evaluation of Optimization Algorithms When Used in Goal-Oriented Automated Test Data Generation Techniques," Empirical Software Engineering, Vol. 12, No. 2, pp. 183-239, 2007.   DOI
3 Defense Acquisition Program Administration, STD : Software Test Description, 2017.
4 D. H. Kim, and Y. H. Kim, C. S. Kim, "Requirements Analysis and Specification for Enhancing Reusability," Journal of the Korean Association of Defense Industry Studies, Vol. 18, No. 1, pp. 1-17, 2011.
5 D. H. Kim, and S. Y. Lee, B. Y. Lee, B. H. Park, "A Study on Reliable Documentation for Weapon System Software," Journal of KIISE, Vol. 35, No. 12, pp. 61-68, 2017.
6 H. J. Choi, and Y. W. Lee, J. H. Lee, J. S. Baek, D. H. Kim, K. T. Cho, H. S. Chae, "Development of Reference Model and Quality Measurement Tool for Quality Evaluation of Weapon System Software," Journal of KIISE, Vol. 25, No. 03, pp. 179-190, 2019.
7 T. A. Alrawashed, A. Almomani, A. Althunibat, and A. Tamimi, "An Automated Approach to Generate Test Cases from Use Case Description Model," Computer Modeling in Engineering and Sciences, Vol. 119, No. 3, pp. 409-425, 2019.   DOI
8 A. Cockburn, "Structuring Use Cases with Goals," Journal of Object-Oriented Programming, Vol. 10, No. 5, pp. 56-62, 1997.
9 E. Sarmiento, J. C. S. P. Leite, E. Almentero, and G. S. Alzamora, "Test Scenario Generation from Natural Language Requirements Descriptions based on Petri-Nets," Electronic Notes in Theoretical Computer Science, Vol. 329, pp. 123-148, 2016.   DOI
10 N. Kesserwan, R. Dssouli, J. Bentahar, B. Stepien, and P. Labreche, "From Use Case Maps to Executable Test Procedures: A Scenario-based Approach," Software and Systems Modeling, Vol. 18, No. 2, pp. 1543-1570, 2019.   DOI
11 C. T. M. Hue, D. H. Dang, N. N. Binh, and A. H. Truong, "USLTG: Test Case Automatic Generation by Transforming Use Cases," International Journal of Software Engineering and Knowledge Engineering, Vol. 29, No. 9, pp. 1313-1345, 2019.   DOI