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.

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

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