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

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

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

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