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

A．跟踪程序执行

B．测试实例比较

C．实现逻辑推断

D．路径径反向搜索

空气的垂直运动包括（）

A.上升运动，下沉运动

B.平流风

C.A.B都对

D.A.B都错