一、回溯法

 

　　调试人员检查错误征兆，确定最先发现“症状”的地方，然后人工沿程序的控制流往回追踪源程序代码，直到找出错误根源或确定故障范围为止。

　　回溯法的另一种形式是正向追踪，也就是使用输出语句检查一系列中间结果，以确定最先出现错误的地方。

 

　　二、排除法

 

　　排除法是采用对分查找法或演绎法完成调试工作。对于程序中有故障的那部分，再重复使用这个方法，直到把故障范围缩小到容易诊断的程度为止。

　　经过周密的思考可以找出大多数故障，归纳法就是一种系统化的思考方法。所谓归纳法就是从个别推断一般的方法，这种方法从线索(错误征兆)出发，通过分析这些线索之间的关系而找出故障，这种方法主要有下述4个步骤:

 

　　(1)收集有关的数据

　　(2)组织数据

　　(3)导出假设

　　(4)证明假设

 

　　演绎法从一般原理或前提出发，经过排除和精化的过程推导出结论。用演绎法调试，开始时先列出所有看来可能成立的原因或假设，然后一个一个地排除列举出的原因，最后证明剩下的原因确实是错误的根源。演绎法主要有下述4个步骤:

 

　　①设想可能的原因

　　②用已有的数据排除不正确的假设

　　③精化余下的假设

　　④证明余下的假设