프로그램의 제어구조에 따라 선택, 반복 등의 부분들을 수행함으로써 논리적 경로를 점검한다.

모듈안의 작동을 직접 관찰할 수 있다.

소프트웨어 산물의 각 기능별로 적절한 정보영역을 정하여, 적합한 입력에 대한 출력의 정확성을 점검한다.

원시 코드의 모든 문장을 한번 이상 수행함으로써 진행된다.