모듈안의 논리적인 구조를 검사한다.

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

검사대상의 가능한 경로를 어는 정도 통과하는지의 적용 범위성을 측정기준으로 한다.

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