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

Analysis on Dynamic Software Defects for Increasing Weapon System Reliability  

Park, Jihyun (이화여자대학교 컴퓨터공학과)
Choi, Byoungju (이화여자대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.7, no.7, 2018 , pp. 249-258 More about this Journal
Abstract
The importance of software in military weapon systems is increasing, and the software structure is becoming more complicated. We therefore must thoroughly verify its reliability. In particular, the defects from the interaction of the software components that make up the weapon system are difficult to prevent only with static testing and code coverage level dynamic testing. In this paper, we classify dynamic software defect types and analyze the issues reported in the Open Source Software (OSS) used in the US department of defense weapon systems. The dynamic defects classified in this paper usually occur after integration, and it is difficult to reproduce and identify the cause. Based on this analysis, we come to the point that the software integration test must be enhanced in order to verify the reliability of the weapon system.
Keywords
Dynamic Software Defects; Defense Weapon Systems; Open Source Software;
Citations & Related Records
연도 인용수 순위
  • Reference
1 F. Cristian, "Exception Handling and Tolerance of Software Faults," Johy Wiley & Sons, Hoboken, JN, USA (Chapter 4). 1995.
2 G. Blair, G. Coulouris, J. Dollimore, and T. Kindberg, "Distributed Systems: Concepts and Design," Addison-Wesley, Boston. 2012.
3 Padua, D. (Ed.). "Encyclopedia of parallel computing," Springer Science & Business Media. 2011
4 G. M. Schneider, & J. Gersting, "Invitation to computer science," Cengage Learning. 2018.
5 DoD CIO [Internet], http://dodcio.defense.gov/Open-Source-Software-FAQ/
6 A study on software ILS applications, Defense Acquisition Program Administration, 2012.
7 Memcheck [Internet], http://valgrind.org/docs/manual/mc-manual.html
8 Dr. Memory [Internet], http://drmemory.org/
9 Address Sanitizer [Internet], https://github.com/google/sanitizers/wiki/AddressSanitizer
10 Helgrind [Internet], http://valgrind.org/docs/manual/hg-manual.html
11 Thread Sanitizer [Internet], https://github.com/google/sanitizers/wiki/ThreadSanitizerCppManual
12 Jooyoung Seo, Byoungju Choi, and Suengwan Yang. "A profiling method by PCB hooking and its application for memory fault detection in embedded system operational test," Information and Software Technology, Vol.53, No.1, pp.106-119, 2011.   DOI
13 S. Lu, S. Park, E. Seo, and Y. Zhou, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics," ACM Sigplan Notices, Vol.43, No.3, pp.329-339, 2008.
14 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
15 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
16 IEEE Standard 1012-2016 IEEE Standard for System, Software, and Hardware Verification and Validation, 2016.
17 ISO IEC IEEE 12207 System and software engineering - Software life cycle processes, 2017.
18 ISO IEC IEEE 291199 Software and systems engineering - software testing, 2013.
19 Weapon system software development and management manual, Defense Acquisition Program Administration Manual No.2017-8, 2017.
20 무기체계SW 발전방향 및 추진 전략 연구, Korea Defense Industry Association, 2016.
21 P. Emanuelsson and U. Nilsson, "A comparative study of industrial static analysis tools," Electronic Notes in Theoretical Computer Science, Vol.217, pp.5-21, 2008.   DOI
22 D. A. Ormrod, "A 'wicked problem'-Predicting sos behaviour in tactical land combat with compromised C4ISR," System of Systems Engineering (SOSE), 9th International Conference on. IEEE, 2014.
23 전력발전업무훈령(개정2016.3.28 훈령 제1896호), 2016.
24 Yonhap News, "국군 최초의 디지털군단 탄생[Defense Acquisition Program Administration]", http://prlink.yonhapnews.co.kr/view.aspx?contents_id=RPR20060627008800353&from=search, (2006.06.27.)
25 A. Fatima, S. Bibi, and R. Hanif, "Comparative study on static code analysis tools for C/C++," 15th International Bhurban Conf. on Applied Sciences & Technology, 2018.
26 G. R. Luecke, J. Coyle, J. Hoekstra, M. Kraeva, Y. Li, O. Taborskaia, and Y. Wang, "A survey of systems for detecting serial run‐time errors," Concurrency and Computation: Practice and Experience, Vol.18, No.15, pp.1885-1907, 2006.   DOI