在“宏观——微观——符号”之间建立联系，是化学学科特有的思维方式。下图表示两种气体发生的化学反应的微观示意图，其中相同的球代表同种原子。下列说法正确的是

A．反应物中包含两种化合物

B．该反应属于置换反应

C．该反应有三种新物质生成

D．参加反应的反应物与生成物的分子个数比为1：1

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

A、要暴露程序中的bug

B、要纠正程序中的错误

C、要暴露程序中的错误

D、要纠正程序中的bug