[单选] 软件开发中，常用（）作为软件调试技术。

软件调试与成功的测试形影相随。软件测试成功的标志是发现了错误，而软件调试则是在软件测试成功后，根据错误迹象确定错误的原因和准确位置，并加以改正。 软件调试是程序员自己进行的技巧性很强的工作，要确定发生错误的内在原因和位置不是一件容易的事，它占整个调试工作量的90%左右。调试工作的困难与人的心理因素和技术因素都有关系，需要繁重的脑力劳动和丰富的经验。常用的调试技术有归纳法、演绎法和回溯法。 归纳法是一种从特殊到一般的思维过程，从对个别事例的认识当中概括出共同特点，得出一般性规律的思考方法。归纳法调试从测试结果发现的线索入手，分析它们之间的联系，导出错误原因的假设，然后再证明或否定这个假设。 演绎法是一种从一般的推测和前提出发，运用排错和推断过程作出结论的思考方法。演绎法调试是列出所有可能的错误原因的假设，然后利用测试数据排除不适当的假设，最后再用测试数据验证余下的假设确实是出错的原因。 回溯法从程序产生错误的地方出发，人工沿程序的逻辑路径反向搜索，直到找到错误的原因为止。该方法是对小型程序寻找错误位置的有效方法。