현대 무기체계는 하드웨어 위주의 전통적인 무기체계에 비해 소프트웨어의 비중이 증대되고 있으며, 이에 따라 소프트웨어의 결함 발생 확률도 높아지고 있어, 소프트웨어 신뢰성 확보가 무기체계 전체 신뢰성과 직결된다고 할 수 있다. 방사청에서는 이러한 무기체계 소프트웨어의 신뢰성 확보를 위해 소프트웨어 개발 및 관리 매뉴얼을 필수적으로 준수하도록 요구하고 있다. 본 논문에서는 매뉴얼에서 제시하고 있는 소프트웨어 신뢰성 시험 중에서 동적시험을 비탐침 방식으로 자동화하여 고신뢰성 소프트웨어 시험에 적용하기 위한 내용을 기술하고자 한다.