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

[单选题]软件工程是一种( )分阶段实现的软件程序开发方法。A．自底向上B．自顶向下C．逐步求精D．面向数据流

[单选题] 净室软件工程是软件开发的一种（24）方法，可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模，并将 （25） 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A．形式化B．迭代式C．瀑布式D．交互式（25）A．测试B．仿真C．实验D．正确性验证

[单选题]净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A．形式化B．迭代式C．瀑布式D．交互式

[单选题]以下关于软件可靠性测试的说法中，正确的是A．) 软件可靠性测试是一种比白盒测试更严格的软件测试B．) 软件可靠性测试的代价通常比较高C．) 软件可靠性测试本质上是一种黑盒单元测试D．) 软件可靠性测试不适用于面向对象软件测试A．B．C．D．

[单选题]软件工程是一种什么样的分阶段实现的软件程序开发方法?A．自底向上B．自顶向下C．逐步求精D．面向数据流

[单选题]结构化方法是一种常用的软件工程方法，它强调的是分析系统的A．数据流B．控制流C．时间限制D．进程同步

[单选题]结构化方法是一种常用的软件工程方法，它强调的是分析系统的A． 数据流B．控制流C．时间限制D．进程同步

[单选题]软件工程是一种用（）的方法来开发、操作、维护及报废软件的过程。A .硬件工程B .程序设计C .媒体设计D .系统工程

[问答题] 什么是软件的可靠性、可用性和正确性？

[单选题]结构化方法是一种常用的软件工程方法，它强调的是分析系统的(53)。A．数据流B．控制流C．时间限制D．进程同步