参考答案：回溯法

解析： 调试的关键在于推断程序内部的错误位置及原因。主要的调试方法有：强行排错法、回溯法和原因排除法。
强行排错法是传统的调试方法，其过程可概括为：设置断点、程序暂停、观察程序状态、继续运行程序。这是目前使用较多、效率较低的调试方法。
回溯法适合于小规模程序的排错。即一旦发现了错误，先分析错误征兆，确定最先发现症状的位置。然后，从发现症状的地方开始，沿程序的控制流程，逆向跟踪源程序代码，直到找到错误根源或确定错误产生的原因。
原因排除法是通过演绎和归纳，以及二分法来实现的。