什么是竖曲线？其形式如何？

在饮食中心管理信息系统程度调试的过程中，程序员发现采购量的结果与用户希望的结果不同。程度员首先收集、整理程序测试结果中的数据，分析出当物料种类为肉蛋类时采购量可能会有问题。进一步用数据进行测试，结果表明当肉蛋类物料库存量-需求总量<库存最低限时程序出错。程序员采用的排错方法是（）。

A.跟踪法

B.归纳法

C.演绎法

D.试探法