● 净室是一种严格的软件工程方法，它是一种强调正确性的（）和软件可靠性的认证的软件过程模型，其目标和结果是非常低的出错率。（）A. 单元测试 B. 集成测试 C. 数学验证 D. 盒式规约

正确答案：C
    净室软件工程(Cleanroom software engineering)是一种在软件开发过程中强调在软件中建立正确性的需要的方法。代替传统的分析、设计、编码、测试和调试周期，净室方法建议一种不同的观点： 　　在净室软件工程后面的哲学是：通过在第一次正确地书写代码增量并在测试前验证它们的正确性来避免对成本很高的错误消除过程的依赖。它的过程模型是在代码增量积聚到系统的过程的同时进行代码增量的统计质量验证。 　　净室方法在很多方面将软件工程提升到另一个层次。象形式化方法技术一样，净室过程强调在规约和设计上的严格性，以及使用基于数学的正确性证明来对结果设计模型的每个元素进行形式化验证。作为对形式化方法中采用的方法的扩展，净室方法还强调统计质量控制技术，包括基于客户对软件的预期的使用的测试。