모듈의 구조보다 기능을 검사한다.

동치 분할(equivalence partitioning)이라는 기법을 사용한다.

Nassi-Shneiderman 도표를 사용하여 검정기준을 작성할 수 있다.

원인-결과 그래프(cause and effect graph)로 테스트케이스를 작성할 수 있다.