테스트할 수 없는 프로그램 테스트에 관하여

프로그램 테스트에서 자주 언급되는 가정은 오라클이 존재한다는 것이다 (즉, 테스터 또는 외부 메커니즘이 프로그램이 생성한 출력이 올바른지를 정확하게 결정할 수 있다). 오라클이 존재하지 않거나 테스터가 출력이 올바른지를 결정하기 위해 비정상적으로 많은 시간을 들어야 하는 경우, 프로그램은 테스트할 수 없는 것으로 간주된다. 오라클 가정의 합리성을 검토하고 많은 경우 이것이 현실적이지 않은 가정이라는 결론에 도달한다. 오라클의 존재를 가정했을 때의 결과를 검토하고 대안을 조사한다.