净室软件工程是软件开发的一种（24)方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模

（24）

A.形式化

B.迭代式

C.瀑布式

D.交互式

（25）

A.测试

B.仿真

C.实验

D.正确性验证

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

A．产生式归约

B．移进归约

C．盒结构归约

D．规范归约

以下关于软件开发方法的叙述，错误的是（）。

A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试

A.单元测试

B. 集成测试

C. 数学验证

D. 盒式规约

A.全新的

B.轻量级的

C.灵巧

D.以上都不是

关于原型化方法和生命周期方法，下面说法错误的是()。

A．传统的软件开发方法是生命周期法

B．生命周期模型是人们初创软件工程时采取的模型，这种方法特别强调阶段完整性和开发的顺序性，它要求开发者首先确定系统的完整需求和全部功能

C．原型化方法是一种动态定义需求的方法

D．生命周期法和原型化方法没有什么区别