以下对基金会计的特殊性叙述错误的是（）。 A．会计主体是证券投资基金B．突破了会计确

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

（24）

A．形式化

B．迭代式

C．瀑布式

D．交互式

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

（24）

A．形式化

B．迭代式

C．瀑布式

D．交互式

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

A．产生式归约

B．移进归约

C．盒结构归约

D．规范归约

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

供选择的答案：

净室软件工程通过使用称为盒结构规约的方法来遵从操作分析原则，有3种盒类型，分别是(28)。

A．黑盒、状态盒、清晰盒

B．黑盒、白盒、灰盒

C．白盒、清晰盒、黑盒

D．灰盒、状态盒、黑盒

A．黑盒、状态盒、清晰盒

B．黑盒、白盒、灰盒

C．白盒、清晰盒、黑盒

D．灰盒、状态盒、黑盒

A．单元测试

B． 集成测试

C． 数学验证

D． 盒式规约

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

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

A．软件工具

B．软件工程环境

C．开发方法

D．软件工程经济学

A．软件工具

B．软件工程环境

C．开发方法

D．软件工程经济学