And check the answers, and say yeah that's what we expected. But it also involves reasoning. About why that's an appropriate set of inputs to test it on it.

然后说对，这就是我想要的结果,但是它跟推理也有关系,表现在关于为什么这是一个,测试我们程序的适合的输入集。

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

It's typically a combination of two things.

是两件事情的组合，测试和推理。

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