Coverage domian과 Criterion

Criterion C는 coverage domain으로 부터 유도 되어 진다.

이때, 테스팅 기법에 따라서 집중하는 Domain이 달라 지게 된다.

White-box testing의 경우는 Coverage domain을 code로 부터 추출 한다.

Black-box testing의 경우는 Coverage domain을 requirements로 부터 추출 한다.

하지만, 결국 Coverage domain은 P와 R 모두로부터 추출 해야 정확하게 된다.

핵심은, White와 Black은 기법의 이름이지 이것으로부터 Tests를 뽑아 내는것은 아니다.

Tests는 무조건 상세하게 뽑아내는것이 중요하고, 이때는 반드시 requirements를 반영해야한다.

Verification & Validation을 만족하기 위해서, 프로그램 측면과, 요구사항 측면을 모두 반영 해야 한다.

Statement Coverage는 쉬워 보이지만,

if ( x = malloc(10) {

..

}

else {

..

}

와 같은 코드들의 만족시키기란 쉽지 않다.

White-Box testing의 경우, V model 측면에서

Unit test level 수준에서 적용 할 수 있다.

Black-box testing의 경우, V model 측면에서,

System level test 수준에서 적용 할수 있다.

Coverage 공부를 위해 보면 좋은 블로그: http://froginpot.tistory.com/4