동적 검증이란 활용 방안 설명에 앞서서 동적검증이란 무엇인지에 대해서 간략하게 말씀드리고 진행하도록 하겠습니다. 자동차 분야의 국제표준인 ISO 26262 파트6의 소프트웨어 개발 프로세스 기준으로 동적 검증을 소개해 드리겠습니다. 위에 보시는 개발 프로세스 기준으로 보았을 때 코드가 구현된 이후에는 소프트웨어 단위검증과 통합검증 그리고 임베디드 소프트웨어 검증이 순차적으로 이루어져야 합니다. 그 중에서도 동적 검증은 단위검증과 통합검증을 합쳐서 부르는 용어로 볼 수 있습니다. 표준에 의하면 각각의 검증 레벨에서는 안전 분석 레벨에 따라서 목표로 하는 커버리지가 나와 있습니다. 그래서 단위 시험의 경우에는 구문 커버리지 분기 커버리지 MC/DC를 이런 등급에 따라서 충족해야 될 기준을 명시하고 있습니다...