테스트 케이스에 대한 예측 시험 결과를 계산하거나 실제 결과가 정확한지를 확인하는 메카니즘이나 장치 (facilities). 일반적인 경우, 시험원이 시험 결과를 계산하거나 체크하나, 테스트 케이스가 복잡한 계산을 요할 경우는 프로그램이 이를 대신한다. 테스트 오라클을 개발하는 접근법과 시험대상 시스템 오퍼레이션을 개발하는 접근법이 동일하다면 오류가 발견되지 않는 경우가 발생할 수 있다. 테스트 오라클의 종류에는 실제 오라클 (true oracle), 추정 오라클 (heuristic oracle), 샘플링 오라클 (sampling oracle) 등이 있다.