Journal of the Korea Institute of Military Science and Technology (한국군사과학기술학회지)

The Korea Institute of Military Science and Technology (한국군사과학기술학회)
권호 표지
DOI QR코드

DOI QR Code

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)
  • 최현재 (부산대학교 컴퓨터공학과) ;
  • 이영우 (부산대학교 컴퓨터공학과) ;
  • 백지선 (LIG넥스원(주) SW지능화연구팀) ;
  • 김동환 (LIG넥스원(주) 지능형SW연구소) ;
  • 조규태 (LIG넥스원(주) SW지능화연구팀) ;
  • 채흥석 (부산대학교 컴퓨터공학과)
  • Received : 2020.05.08
  • Accepted : 2020.07.24
  • Published : 2020.08.05
Download PDF
⟨ Previous Next ⟩

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

References

  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. https://doi.org/10.1007/s10664-006-9026-0
  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. https://doi.org/10.32604/cmes.2019.04681
  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. https://doi.org/10.1016/j.entcs.2016.12.008
  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. https://doi.org/10.1007/s10270-017-0620-y
  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. https://doi.org/10.1142/s0218194019500414