●净室是一种严格的软件工程方法，它是一种强调正确性的（）和软件可靠性的认证的软件过程模型，其目

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