程序排错是排除经测试发现出错的程序中错误的措施，其中测试排错法发现和排除错误的主要手段是利用

A．跟踪程序执行

B．测试实例比较

C．实现逻辑推断

D．路径反向搜索