Browse > Article
http://dx.doi.org/10.3745/KTSDE.2019.8.7.265

Analytical Study on Software Static/Dynamic Verification Methods for Deriving Enhancement of the Software Reliability Test of Weapon System  

Park, Jihyun (이화여자대학교 컴퓨터공학과)
Choi, Byoungju (이화여자대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.8, no.7, 2019 , pp. 265-274 More about this Journal
Abstract
The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.
Keywords
Dynamic Software Defects; Weapon System Software; Dynamic Test;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 Sunwoo Kim, John A. Clark, and John A. Mcdermid, "Class Mutation: Mutation Testing for Object-oriented Programs," In Proc. Net. ObjectDays. Erfurt, Germany: Net. Objects, pp.9-12, 2000.
2 J. Kim, S. Jeong, I. Hwang, H. Cho, D. Kim, and Y. J. Jang, "M&S Verification, Validation and Accreditation Research Direction Considering the Characteristics of Defense M&S," Journal of Korean Institute of Industrial Engineers, Vol.39, No.6, pp.486-497, 2013.   DOI
3 Kyeongyoun Kwon, Joonseok Joo, Taesik Kim, Jinwoo Oh, and Jihyun Baek, "A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process," Journal of KIISE, Vol.42, No.7, pp.860-867, 2015.   DOI
4 Weapon System Software Development and Management Manual, "Defense Acquisition Program Administration Manual No.2017-8," 2017.
5 Jihyun Park and Byoungju Choi, "Analysis on Dynamic Software Defects for Increasing Weapon System Reliability," Journal of KIPS Tr. Software and Data Eng., Vol.7, No.7, pp. 249-258, 2018.
6 Motor Industry Software Reliability Association. MISRA C 2012: Guidelines for the Use of the C Language in Critical Systems: March 2013. Motor Industry Research Association, 2013.
7 S. N. Cant, D. R. Jeffery, and B. Henderson-Sellers, "A Conceptual Model of Cognitive Complexity of Elements of the Programming Process," Information and Software Technology, Vol.37, No.7, pp.351-362, 1995.   DOI
8 Jooyoung Seo, Byoungju Choi, and Suengwan Yang, "A Profiling Merhod by PCB Hooking and its Application for Memory Fault Detection in Embedded System Operational Test," Journal of Information and Software Technology, Vol. 53, No.1, pp.106-117, Jan. 2011.   DOI
9 Jooyoung Seo, Byoungju Choi, and Sihyun Lee, "Software Generated Device Exception for more Intensive Devicerelated Software Testing: An Industrial Field Study," Journal of Systems and Software, Vol.86, No.12, pp. 3193-3212, Dec. 2013.   DOI
10 F. Wu, J. Nanavati, M. Harman, Y. Jia, and J. Krinke, "Memory Mutation Testing," Information and Software Technology, Vol.81, pp.97-111, 2017.   DOI
11 Alper Sen, "Mutation Operators for Concurrent SystemC Designs," in Microprocessor Test and Verification (MTV), 10th International Workshop on, pp.27-31, Dec. 2009.
12 Hossain Shahriar and Mohammad Zulkernine, "Mutationbased Testing of Buffer Overflow Vulnerabilities, Computer Software and Applications," (COMSAC'08) 32nd Annual IEEE International, pp.979-984. 2008.
13 Markus Kusano and Chao Wang, "CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications," in Proceeding of the 28th IEEE/ACM International Conference on Automated Software Engineering, pp.722-725, 2013.