객체지향 기반 유도무기 비행 소프트웨어의 취약성 검증 방안에 대한 연구

해당 논문은 2024년 한국군사과학기술학회 추계학술대회에서 발표되었습니다.

객체지향 기반 유도무기 비행 소프트웨어의 취약성 검증 방안에 대한 연구
Research on Vulnerability Verification Methods for Object-Oriented Missile
Flight Software

변진섭* · 장정훈* · 김성수* · 정상문**

Jinsub Byun*
· Jeonghoon Jang* · Sungsu Kim* · Sangmun Jeong**

* 모아소프트
** 국방과학연구소

(jsbyun@moasoftware.co.kr)

ABSTRACT
Recently, missile flight software has adopted object-oriented development methodologies to accommodate the diverse requirements of complex missions and operational functions. This paper presents verification techniques for the vulnerabilities of object-oriented languages as defined by the DO-332 and introduces case studies of
vulnerability verification activities utilizing testing tools(LDRA).

Key Words : Missile Flight Software, DO-332, Object-Oriented Programs(OOP), Vulnerabilities, LDRA

1. 서론

국방, 항공, 자동차, 철도 등 여러 산업 전반에서 사용되는 소프트웨어의 규모가 커짐에 따라 유도무기 비
행 소프트웨어도 복잡한 임무 수행 지원과 운용 기능의 복잡도 증가 등 다변화된 요구사항을 수용하기 위해 객체지향 방법론을 적용하여 개발되는 추세이다. 이러한 객체지향 방법론의 특성을 잘 고려하여 설계한다면 높은 재사용성과 유지보수성을 가지게 된다. 또한, 이는 효율적인 소프트웨어 설계, 개발, 생산성 향상에도 큰 도움을 준다. 하지만 강한 결합도로 인해 코드 수정 시 특정 코드에 대한 실행 흐름 등을 직관적으로 파악하는데 어려움이 따르게 되기 때문에, 개발자가 의도한 것과 다른 동작을 수행하는 문제가 발생될 수 있다. 또한 컴파일러에 의해 구조적 위험성이 증가되는 부분도 객체지향 방법론을 적용하기 어려운 이유이다.
본 연구에서는 이를 해소하기 위해 DO-178C 보충문서인 DO-332에 기술되어 있는 객체지향언어의 취약점 분석 방안을 소개한다. 또한, 테스팅 자동화 도구를 활용하여 해당 내용을 반영한 유도무기 비행 소프트웨어의 취약성 검증 활동 사례에 대해 제시한다.

…중략…

DO-332에서의 객체지향언어 취약점과 검증방안 및 사례

3. 결론

본 연구에서는 DO-332 표준에서 정의한 객체지향언어 주요 취약점 7가지에 대한 검증방안과 테스팅 자동화 도구(LDRA)를 활용한 코드 리뷰 사례를 제시하였다. 결과에서 알 수 있듯이 의도하지 않은 동작이나 취약점을 내포할 수 있는 객체지향언어의 특성상, 다양한 검증기법 적용이 필요함을 확인 할 수 있었다. 이러한 결과를 토대로 요구사항 기반 시험 등의 활동을 추가로 수행하여 보다 더 높은 안전성을 확보할 예정이다.