테스트의 결과가 참인지 거짓인지를 판단하기 위해서 사전에 정의된 참값을 입력하여 비교하는 기법이다.
참 오라클
모든 입력값에 대하여 기대하는 결과를 생성함으로써 발생된 오류를 모두 검출할 수 있는 오라클
샘플링 오라클
특정한 몇 개의 입력값에 대해서만 기대하는 결과를 제공해 주는 오라클
휴리스틱 오라클
샘플링 오라클을 개선한 오라클로, 특정 입력값에 대해 올바른 결과를 제공하고, 나머지 값들에 대해서는 휴리스틱(추청)으로 처리하는 오라클
일관성 검사
애플리케이션 변경이 있을 때, 수행 전과 후의 결과값이 동일한지 확인하는 오라클
암기 : 참새가 휴일에 쉰다. → 참샘휴일