비행제어 비행운용프로그램 (Operational Flight Program)으로 개발되는 소프트웨어는 안전 중시(Safety-Critical) 소프트웨어이다. 비행제어에 관한 모든 소프트웨어는 동적시험에서 커버리지 기준을 달성하여, 소프트웨어 무결점 입증 및 방사청의 무기체계 소프트웨어 신뢰성 시험 기준을 만족하여야 한다.

본 논문은 동적시험 커버리지 목표를 달성하지 못하여 엔지니어링 분석을 수행하였던 Legacy Code coverage 예외코드를 분석하고 예외 처리 기법에 대해 논의하고자 한다. 이 연구를 통해 향후 차기 항공기 개발 사업에 비행제어 소프트웨어 동적시험 커버리지를 확보하여 항공기 신뢰성과 안전성을 확보하여 개발에 도움이 될 것으로 기대한다.