테스팅에서 프로그램의 실제 실행결과가 올바른 결과인지를 판단하는 메커니즘은?