题目内容
（请给出正确答案）
净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
A．产生式归约
B．移进归约
C．盒结构归约
D．规范归约
如果结果不匹配，请 联系老师 获取答案
更多“净室软件工程（Cleanroom)是软件开发的一种形式化方法…”相关的问题
A.单元测试
B. 集成测试
C. 数学验证
D. 盒式规约
净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。
（24）
A．形式化
B．迭代式
C．瀑布式
D．交互式
以下关于软件开发方法的叙述，错误的是（）。
A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试
（24）
A.形式化
B.迭代式
C.瀑布式
D.交互式
（25）
A.测试
B.仿真
C.实验
D.正确性验证
