And it's hard to imagine a simpler program than this. So we very quickly realize that exhaustive testing is just never feasible for an interesting program.

更简单的程序了,因此我们很快的意识到,对一个程序来说详尽的,测试是永远不可行的。

麻省理工公开课 - 计算机科学及编程导论课程节选

If you're writing a program and you're testing it and recompiling.

如果你写一个程序,检测，然后重新编译。

哈佛公开课 - 计算机科学课程节选