测试是为了发现程序中的错误而执行程序的过程，下述有关测试的论述中错误的是( )。

A．证明错误存在

B．证明错误不存在

C．发现程序的错误

D．提供诊断信息

化肥工业中，氨合成气的生产可以采用三种方式，不包括（）。

A.用煤、氧和水蒸气在气化炉中生产

B.用天然气、水蒸气和重油在气化炉中制取

C.用重油、氧和水蒸气在气化炉中生产

D.用天然气、氧和水蒸气在转化炉中生产