网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
● 净室是一种严格的软件工程方法，它是一种强调正确性的（）和软件可靠性的认证的软件过程模型，其目标和结果是非常低的出错率。（）A. 单元测试 B. 集成测试 C. 数学验证 D. 盒式规约
参考答案
更多 “ ● 净室是一种严格的软件工程方法，它是一种强调正确性的（）和软件可靠性的认证的软件过程模型，其目标和结果是非常低的出错率。（）A. 单元测试 B. 集成测试 C. 数学验证 D. 盒式规约 ” 相关考题
考题
关于软件工程的性质,下列描述错误的是()。
A.软件工程是一种用硬件工程的方法来开发、操作、维护及报废软件的过程B.软件工程是一种用程序设计的方法来开发、操作、维护及报废软件的过程C.软件工程是一种用媒体设计的方法来开发、操作、维护及报废软件的过程D.软件工程是一种用系统工程的方法来开发、操作、维护及报废软件的过程
考题
以下关于软件开发方法的叙述，错误的是（ ）。A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析 B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现 C.净室软件工程将正确性验证作为发现和排除错误的主要机制 D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试
考题
● 净室软件工程是软件开发的一种（24）方法，可以开发出具有较高质量的软件。它使用盒结构规约进行分析和建模，并将 （25） 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A.形式化B.迭代式C.瀑布式D.交互式（25）A.测试B.仿真C.实验D.正确性验证
考题
下面说法错误的是( )。A．信息系统中的软件开发强调文档化和规范化B．对软件开发过程的规定和描述就是软件开发模型C．瀑布模型是Bohem于1976年提出的，它是最早的软件开发模型D．严格定义是一种确定软件系统需求的策略，在任何的设计、实现或使用系统之前，不需要预先指出所有的要求
考题
净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。A．产生式归约B．移进归约C．盒结构归约D．规范归约
考题
净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A．形式化B．迭代式C．瀑布式D．交互式
考题
软件工程是一种层次化的技术，支持软件工程的根基在于 （）A．软件工程过程B．软件工程方法C．质量关注点D．软件工程工具
热门标签
最新试卷
