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

A.跟踪程序执行

B.测试实例比较

C.实现逻辑推断

D.路径径反向搜索