● 净室是一种严格的软件工程方法，它是一种强调正确性的（）和软件可靠性的认证的软件过程模型，其目标和结果是非常低的出错率。（）

净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。

（24）

A．形式化

B．迭代式

C．瀑布式

D．交互式

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

A．产生式归约

B．移进归约

C．盒结构归约

D．规范归约

（24）

A.形式化

B.迭代式

C.瀑布式

D.交互式

（25）

A.测试

B.仿真

C.实验

D.正确性验证

A.使用了严格的净室软件工程过程的产品

B.控制模块具有较大技术风险的产品

C.采用了契约式设计的产品

D.在极限编程中使用了探索式开发风格的产品

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

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

A．错误

B．正确

A.UML是面向对象程序分析、设计与构造的一种表达方法

B.UML包含了类图/对象图、次序图、状态图、用例图等图形化的表达方法

C.UML便于人们交流分析设计的成果

D.其他选项中有错误描述

A.UML是面向对象程序分析、设计与构造的一种表达方法

B.UML包含了类图/对象图、次序图、状态图、用例图等图形化的表达方法

C.UML便于人们交流分析设计的成果

D.其他选项中有错误描述