각 기능이 완전히 작동되는 것을 입증하는 검사이다.

인터페이스 결함, 성능 결함, 초기화와 종료 이상 결함 등을 찾아낸다.

동치 분할 검사는 논리적인 조건과 대응하는 행동을 간략히 표현할 수 있도록 하는 검사 사례 설계 기법이다.

경계 값 분석은 입력의 경계 값에서 발생하는 오류를 제거하기 위한 검사 기법이다.