[검증] 동적 검증의 의미와 용어 정리

0. 동적 검증이란? 

    동적 검증은 V 프로세스 관점에서 개발완료 후 "검증"하는 Part의 일부분이다. 

코드에 대한 품질을 높히고, 보장하기 위한 활동으로 실제 제품에서 동작을 시킬순 없으니 동적 검증을 지원하는 Tool들을 사용하여 검증을 진행한다. 해당 Tool들은 코드를 실제 실행 할 수 있는 가상의 환경에서 동작하게 된다.

 

1. 커버리지 

    동적 검증의 커버리지란 말그대로 Test Case가 10개가 있으면 "그 중 몇개를 행했나?"의 진척도와 같은 의미이다. 

"커버리지 100% 달성!" 이라고 해서 해당 코드에 대해 무결성을 표하는 것은 아니라고 한다. 

 

    1.1 커버리지의 종류

         커버리지에는 다음과 같은 종류가 있다. 

 

종류	설명
구문 커버리지	시험 대상의 구문 중에 실행된 구문을 측정, 모든 문장이 적어도 한번 실행 되는 것
결정 커버리지	즉, if문의 true, False가 모두 실행되어야 100% 달성  → 모든 결정의 분기가 적어도 한번씩은 실행되어야한다.
조건 커버리지	전체 조건식의 결과와 관계 없이 각 개별 조건식이 T/F 한번 모두 갖도록 수행
조건 / 결정 커버리지	if문의 조건 전체에 대한 true/false + 개별 조건식 T/F 모두 갖도록
변형 조건 / 결정 커버리지	다른 상태들의 변동이 없고, 자신의 상태가 변경되었을 때 "결과 값"에 영향을 미치는 경우 → MC/DC를 만족한다.
다중 조건 커버리지	모든 개별 조건식의 가능한 모든 논리적 조합

 

---

참고 

https://m.blog.naver.com/suresofttech/221833396343

구조적 커버리지(Coverage)의 정의와 종류

https://swingswing.tistory.com/123

테스트 설계기법_동적테스트_구조기반(화이트박스), 구문, 문장, 조건, 결정, 조건 결정, 변경 조

http://egloos.zum.com/gasiri/v/3270958

소프트웨어 테스트#1_소스코드 커버리지 / MC/DC 커버리지