임베디드 소프트웨어 개발에 있어 모델기반 설계(Model-Based Design, MBD)의 중요성이 점점 높아지고 있습니다. 
특정 알고리즘 코드를 작성하여 코드기반으로 특정 기능을 검증하는 전통적인 블랙박스 테스트(Black-box Test) 방식과 달리, 알고리즘 코드의 논리적 구조인 실행 경로를 화이트박스 테스팅(White-box Testing)하여 MBD의 확장된 제어흐름그래프(Control-flow Graph, CFG) 기반 테스트 실행 전/후의 경로를 검증할 수 있는 화이트박스 경로 테스팅(White-box Path Testing) 자동화 도구를 개발했습니다. 

- 각 실행 경로의 테스트 생성(Test Domain, Input Value) 자동 추출
- 단위 커버리지: Statement, Branch, MC/DC, Path Coverage 
- 통합 커버리지: Function, Call Coverage
- 요구사항 커버리지: Requirement Traceability, Requirement Consistency 
- 무기체계 SW 동적 시험: : Statement, Branch, MC/DC Coverage

브로셔 참조: 다운로드/브로셔/RESORT 정적&동적분석도구-202307.pdf