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 

'Computer Science > 소프트웨어 공학' 카테고리의 다른 글

시험 대비  (0) 2012.06.11

+ Recent posts