程序设计实践 第6章.pdfVIP

下载 第6章 测 试 在日常的手工或者通过办公机器的计算实践中，人们形成了一种习惯，那就是 要检查计算的每个步骤。如果发现了错误，确认它的方式就是从第一次注意到错误 的那个地方开始，做反向的处理。 Norbert Wi e n e r (诺伯特·维纳) ，《控制论》 测试和排错常常被说成是一个阶段，实际上它们根本不是同一件事。简单地说，排错是 在你已经知道程序有问题时要做的事情。而测试则是在你在认为程序能工作的情况下，为设 法打败它而进行的一整套确定的系统化的试验。 Edsger Dijkstra有一个非常有名的说法：测试能够说明程序中有错误，但却不能说明其中 没有错误。他的希望是，程序可以通过某种构造过程正确地做出来，这样就不再会有错误了， 因此测试也就不必要了。这确实是个美好的目标，但是，对今天的实际程序而言，这仍然还 只是一个理想。所以在这一章里，我们还是要集中精力讨论如何测试，才能够更快地发现程 序错误，