调试

所谓成功的测试，是指它可以证明程序没有实现预期的功能。那么调试是继执行成功《更高级别的测试》之后所要进行的工作。调试是一个包含两个步骤的过程，第一步，确定程序中可疑错误的准确性质和位置；第二步，修改错误。

目前软件调试的方法很多，主要有暴力调试法、归纳法、演绎法调试等。方法各异，我们可以根据对应的特点灵活选择。

暴力调试法

暴力调试方法有明显的优势，同时缺陷也很突出，它是耗费脑力最少的办法，也是忽略思考最严重的过程，它大致可分成三种类型：

1，利用内存信息输出来调试；

2，根据一般的“在程序中插入打印语句”建议来调试；

3，使用自动化的调试工具进行调试。

第一种类型，使用内存信息输出是最缺乏效率的暴力调试方法，因为内训区域与源程序中的变量之间很难建立对应关系，同时，内存信息输出显示的是程序静态快照。

第二种类型，对小型程序有效，因为所产生的需求分析的数据量很庞大。

第三种类型，由于自动化调试工具类似在程序中插入打印语句，因此会常常生成数量过于庞大的无关数据，效率很低。

归纳法调试

归纳法调试过程

认真的思考能够发现大部分的错误，甚至不需要调试人员使用调试工具。归纳是一种特殊的思考过程，可以从细节转到全局。

归纳调试的步骤如下：

1，确定相关数据。列举出所有知道的程序执行的正确和不正确之处。

2，组织数据。组织这些相关数据，观察线索之间的模式，找到重要的矛盾、事件。

3，做出假设。利用线索结构里可能的模式做出一个或多个关于错误原因的假设。

4，证明假设。将假设与其最初的线索或数据相比较，以此来证明假设的合理性。

5，解决问题。做一些回归测试确保问题和错误修复没有引入其他错误。

演绎法调试

演绎法调试过程

演绎的过程时从一些普遍的理论或前提出发，使用排除和精炼的过程，达到一个结论。

1，列举出所有可能的原因或假设。

2，利用数据排除可能的原因。详细检查所有数据，尤其寻找存在矛盾的地方。

3，提炼剩下的假设。

4，证明剩下的假设。与归纳法中的第4步骤相同。

5，修复问题。这一步与归纳法中的第5步一样。

小结

如果我们只能提供一条性质有效的调试方法。回顾这三种调试方法，都有一个共同的方法，那就是“思考！”。通过这些原则对错误进行思考，才能向着精确和高效调试的道路上迈进。