Testing and reasoning. Testing, we run our program on some set of inputs.

测试就是，我们输入一些信息，并且运行我们的程序，然后查看答案。

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

Because maybe the program worked on some inputs and not on others.

一次如果理解了程序为什么,能对a正常运行而对b却不能你就会。

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