국방 무기체계 소프트웨어 신뢰성 향상을 위한 소프트웨어 동적 결함 분석
Analysis on Dynamic Software Defects for Increasing Weapon System Reliability
0
조회
0
다운로드
2
인용
0
참고문헌
키워드
초록
국방 무기체계에서의 소프트웨어 비중이 증가하고 있으며 구조도 점차 복잡해지고 있어, 이에 따른 신뢰성 검증이 매우 중요하다. 특히 무기체계 시스템을 구성하는 소프트웨어 구성 요소 들의 상호 작용에 따라 발생하는 결함은 정적 시험 및 코드 실행률 점검 수준의 동적 시험만으로는예방하기가 어렵다. 본 논문에서는 소프트웨어의 동적 결함 유형을 분류 개발한다. 미 국방부 무기체계에 사용하는 오픈 소스 소프트웨어(OSS)에서 보고된 이슈 분석을 통하여 본 논문에서 분류한 동적 결함이 실제로 발생하며, 이들은 대체로 통합 이후 발생하는 결함이며, 재현이 어렵고, 결함 원인 파악이 어려웠음을 보인다. 이 분석 결과를 기반으로 무기체계 신뢰성 검증을 위하여 소프트웨어 통합 시험 개선의 중요성을 도출한다.
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.
참고문헌 (26)
- 권경용, "신뢰성 시험 프로세스 개선을 통한 무기체계 내장형 소프트웨어 소스코드 품질확보에 관한 연구", 정보과학회논문지, 42(7), pp.860~867 (2015), 한국정보과학회
- 김정훈, "국방 M&S의 특징 분석과 이를 통한 VV&A 방향", 대한산업공학회지, 39(6), pp.486~497 (2013), 대한산업공학회[DOI]
- "IEEE Standard 1012-2016 IEEE Standard for System, Software, and Hardware Verification and Validation", ~ (2016)
- "ISO IEC IEEE 12207 System and software engineering - Software life cycle processes", ~ (2017)
- "ISO IEC IEEE 291199 Software and systems engineering - software testing", ~ (2013)
- "Weapon system software development and management manual, Defense Acquisition Program Administration Manual No.2017-8", ~ (2017)
- "무기체계SW 발전방향 및 추진 전략 연구" (2016)
- 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 (2014), IEEE
- "전력발전업무훈령(개정2016.3.28 훈령 제1896호)", ~ (2016)
- [URL]
- P. Emanuelsson, "A comparative study of industrial static analysis tools", Electronic Notes in Theoretical Computer Science, 217, pp.5~21 (2008)[DOI]
- A. Fatima, "Comparative study on static code analysis tools for C", C++, 2018, ~
- G. R. Luecke, "A survey of systems for detecting serial run‐time errors", Concurrency and Computation: Practice and Experience, 18(15), pp.1885~1907 (2006)[DOI]
- S. Lu, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics", ACM Sigplan Notices, 43(3), pp.329~339 (2008)
- F. Cristian, "Exception Handling and Tolerance of Software Faults" (1995), Johy Wiley & Sons
- G. Blair, "Distributed Systems: Concepts and Design" (2012), Addison-Wesley
- Padua, D, "Encyclopedia of parallel computing" (2011), Springer Science & Business Media
- G. M. Schneider, "Invitation to computer science" (2018), Cengage Learning
- "DoD CIO"[URL]
- "A study on software ILS applications" (2012)
- [URL]
- [URL]
- [URL]
- [URL]
- [URL]
- Jooyoung Seo, "A profiling method by PCB hooking and its application for memory fault detection in embedded system operational test", Information and Software Technology, 53(1), pp.106~119 (2011)[DOI]