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

구조적 커버리지(Coverage)란 무엇인가 소프트웨어 테스트에서 구조적 커버리지(코드 커버리지)는 테스트에 의해 실행된 소스 코드의 양을 나타낸 것으로 소스 코드를 기반으로 수행하는 화이트박스 테스트를 통해 측정한다. -구조적 커버리지 측정의 필요성- 소프트웨어는 테스트를 통해 품질을 향상시킬 수 있다. 우리는 소프트웨어가 충분히 테스트되었는지, 언제 테스트를 종료해야 하는지 판단을 할 수 있어야한다. 이때 구조적 커버리지를 측정하면 소프트웨어를 얼마나 테스트했는지 정량적으로 확인할 수 있다. 구조적 커버리지의 종류 구문 커버리지 구문 커버리지는 시험 대상의 전체 구문 중에 테스트에 의해 실행된 구문을 측정한 것이다 위 코드를 테스트한다고 가정했을 때, x = 2를 테스트 데이터로 사용할 경우, 6번 ..