조건검사, 루프검사, 데이터 흐름 검사 등이 있다.

설계 절차에 초점을 둔 구조적 테스트이다.

인터페이스 오류, 행위 및 성능 오류, 초기화와 종료 오류 등 을 발견하기 위하여 사용된다.

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