Review of KIISC (정보보호학회지)

Korea Institute of Information Security and Cryptology (한국정보보호학회)
권호 표지

무기체계 소프트웨어 신뢰성 시험 현황 및 발전방향

  • 이태호 (국방과학연구소 공용기술센터 SW신뢰성기술실) ;
  • 백옥현 (국방과학연구소 공용기술센터 SW신뢰성기술실) ;
  • 김태현 (국방과학연구소 공용기술센터 SW신뢰성기술실)
  • Published : 2018.12.31
Download PDF
⟨ Previous Next ⟩

Abstract

무기체계의 대형화 및 복잡도가 증가함에 따라 무기체계에서 소프트웨어의 비중이 큰 부분을 차지하고 있으며 이로 인해 소프트웨어 결함에 따른 잠재적인 위험성도 증가하고 있다. 무기체계 분야에서는 무기체계 소프트웨어 개발 및 관리 매뉴얼을 통하여 개발 단계별 활동 및 검토사항들을 정의함으로써 단계별로 소프트웨어의 품질을 확보할 수 있도록 하는 한편, 소스코드 내의 잠재적인 결함을 체계적으로 제거하여 품질을 높일 수 있도록 소프트웨어 신뢰성 시험 제도를 도입하여 운영하고 있다. 본 글에서는 무기체계 소프트웨어 신뢰성 시험 현황에 대하여 소개하고 발전방향을 제시하고자 한다.

Keywords

References

  1. 방위사업청, "방위사업청 매뉴얼 제2018-7호 무기체계 소프트웨어 개발 및 관리 매뉴얼", 2018.
  2. 방위사업청, "무기체계 내장형 소프트웨어 획득 및 관리 실무 지침서(폐지되었음.)", 2011.
  3. 방위사업청, "방위사업청 매뉴얼 제2016-4호 무기체계 소프트웨어 개발 및 관리 매뉴얼(개정되었음)", 2016.
  4. MISRA, "MISRA-C:2012", 2012.
  5. MISRA, "MISRA-C++:2008", 2008.
  6. Lockheed Martin Corporation, "Joint Strike Fighter Air Vehicle C++ Coding Standards For the System Development and Demonstration Program", 2005.
  7. Boehm, Barry W. Software engineering economics. Vol. 197. Englewood Cliffs (NJ): Prentice-hall, 1981.
  8. IEEE Computer Society, "IEEE Std 982.1-2005 IEEE Standard Dictionary of Measures of the Software Aspects of Dependability", 2005.
  9. ISO/IEC, "ISO/IEC 25023 Systems and software engineering - Systems and software Quality Requirements and Evaluation(SQuaRE) -- Measurement of system and software product quality", 2016
  10. Steffen Herbold et al., "Calculation and optimization of thresholds for sets of software metrics", Empirical Software Engineering, 2011.
  11. Tiago L. Alves et al., "Deriving Metric Thresholds from Benchmark Data", 26th IEEE international Conference on Software Maintenance, 2010.
  12. RTCA, "DO-178C Software Considerations in Airborne Systems and Equipment Certification", 2011.
  13. ISO, "ISO 26262 Road vehicles - Functional safty", 2011.