정답: 4번

여러 버전의 프로그램에 동일한 검사 자료를 제공하여 동일한 결과가 출력되는지 검사하는 기법은 "비교 테스트(Comparison Testing)"입니다. 이 기법은 프로그램의 다른 버전 간의 일관성을 확인하는 데 사용됩니다.