下列离子方程式书写正确的是             （   ）

A．铁跟盐酸反应：2Fe+6H⁺=2Fe³⁺+3H₂↑

B．向氯化铝溶液中通入氨气至过量：4NH₃+Al³⁺+2H₂O=AlO₂^-+4NH₄⁺

C．次氯酸钙溶液中通入过量的CO₂：ClO^-+H₂O+CO₂=HCO₃^-+HClO

D．碳酸钙与盐酸反应CO₃^2-+2H⁺=CO₂↑+H₂O

下列对于软件测试的描述中正确的是______。

A．软件测试的目的是证明程序是否正确

B．软件测试的目的是使程序运行结果正确

C．软件测试的目的是尽可能地多发现程序中的错误

D．软件测试的目的是使程序符合结构化原则