교수가 프로그램을 시험할 때 큰 입력 데이터를 사용할 것이 거의 확실한 것에 대하여 프로그램이 적절하게 동작하는지 학생은 어떻게 확신할 것인가?
How can the student be sure that the program works properly for large input data —almost surely the kind of input on which the instructor will test the program?