국방 무기체계 소프트웨어 신뢰성 향상을 위한 소프트웨어 동적 결함 분석 = Analysis on Dynamic Software Defects for Increasing Weapon System Reliability

국문 초록 (Abstract)

국방 무기체계에서의 소프트웨어 비중이 증가하고 있으며 구조도 점차 복잡해지고 있어, 이에 따른 신뢰성 검증이 매우 중요하다. 특히 무기체계 시스템을 구성하는 소프트웨어 구성 요소 들의 상호 작용에 따라 발생하는 결함은 정적 시험 및 코드 실행률 점검 수준의 동적 시험만으로는 예방하기가 어렵다. 본 논문에서는 소프트웨어의 동적 결함 유형을 분류 개발한다. 미 국방부 무기체계에 사용하는 오픈 소스 소프트웨어(OSS)에서 보고된 이슈 분석을 통하여 본 논문에서 분류한 동적 결함이 실제로 발생하며, 이들은 대체로 통합 이후 발생하는 결함이며, 재현이 어렵고, 결함 원인 파악이 어려웠음을 보인다. 이 분석 결과를 기반으로 무기체계 신뢰성 검증을 위하여 소프트웨어 통합 시험 개선의 중요성을 도출한다.

다국어 초록 (Multilingual 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.

참고문헌 (Reference)

1 "전력발전업무훈령(개정2016.3.28 훈령 제1896호)"

2 권경용, "신뢰성 시험 프로세스 개선을 통한 무기체계 내장형 소프트웨어 소스코드 품질확보에 관한 연구" 한국정보과학회 42 (42): 860-867, 2015

3 "무기체계SW 발전방향 및 추진 전략 연구" 2016

4 김정훈, "국방 M&S의 특징 분석과 이를 통한 VV&A 방향" 대한산업공학회 39 (39): 486-497, 2013

5 Yonhap News, "국군 최초의 디지털군단 탄생[Defense Acquisition Program Administration]"

6 "Weapon system software development and management manual, Defense Acquisition Program Administration Manual No.2017-8"

7 "Thread Sanitizer [Internet]"

8 "Memcheck [Internet]"

9 S. Lu, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics" 43 (43): 329-339, 2008

10 G. M. Schneider, "Invitation to computer science" Cengage Learning 2018

11 "ISO IEC IEEE 291199 Software and systems engineering - software testing"

12 "ISO IEC IEEE 12207 System and software engineering - Software life cycle processes"

13 "IEEE Standard 1012-2016 IEEE Standard for System, Software, and Hardware Verification and Validation"

14 "Helgrind [Internet]"

15 F. Cristian, "Exception Handling and Tolerance of Software Faults" Johy Wiley & Sons 1995

16 Padua, D, "Encyclopedia of parallel computing" Springer Science & Business Media 2011

17 "Dr. Memory [Internet]"

18 "DoD CIO"

19 G. Blair, "Distributed Systems: Concepts and Design" Addison-Wesley 2012

20 A. Fatima, "Comparative study on static code analysis tools for C/C++" 2018

21 "Address Sanitizer [Internet]"

22 G. R. Luecke, "A survey of systems for detecting serial run‐time errors" 18 (18): 1885-1907, 2006

23 "A study on software ILS applications" 2012

24 Jooyoung Seo, "A profiling method by PCB hooking and its application for memory fault detection in embedded system operational test" 53 (53): 106-119, 2011

25 P. Emanuelsson, "A comparative study of industrial static analysis tools" 217 : 5-21, 2008

26 D. A. Ormrod, "A 'wicked problem'-Predicting sos behaviour in tactical land combat with compromised C4ISR" IEEE 2014