下列各组物质（或主要成分）的俗名、化学式、颜色不一致的是[ ]

A. 硫磺  S  黄色

B. 水银  Ag  银白色

C. 铁锈  Fe₂O₃  红色

D. 氧化铜 CuO  黑色

净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用 (91) 进行分析和建模，并且将 (92) 作为发现和排除错误的主要机制。使用 (93) 测试来获取认证软件可靠性所需要的信息。

A．产生式归约
B．移进归约
C．盒结构归约
D．规范归约