______是厨房生产成本控制的第二步。

A．制定生产标准

B．制订生产计划

C．预测人员分工

D．预测成本大小

测试的目的是（），而不是对正确性进行形式化证明。

A、要暴露程序中的bug

B、要纠正程序中的错误

C、要暴露程序中的错误

D、要纠正程序中的bug