首页 > 软考
题目内容 (请给出正确答案)
[单选题]

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

A.单元测试

B. 集成测试

C. 数学验证

D. 盒式规约

查看答案
答案
收藏
如果结果不匹配,请 联系老师 获取答案
您可能会需要:
您的账号:,可能还需要:
您的账号:
发送账号密码至手机
发送
安装优题宝APP,拍照搜题省时又省心!
更多“●净室是一种严格的软件工程方法,它是一种强调正确性的()和软…”相关的问题
第1题
净室软件工程是软件开发的一种(24)方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模

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

(24)

A.形式化

B.迭代式

C.瀑布式

D.交互式

点击查看答案
第2题
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分

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

A.产生式归约

B.移进归约

C.盒结构归约

D.规范归约

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

(24)

A.形式化

B.迭代式

C.瀑布式

D.交互式

(25)

A.测试

B.仿真

C.实验

D.正确性验证

点击查看答案
第4题
以下关于软件开发方法的叙述,错误的是()。 A.对于较为复杂的应用问题,适合采用形式化方法进行需

以下关于软件开发方法的叙述,错误的是()。

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

点击查看答案
第5题
软件工程是为克隆【】而提出的一种概念及相关方法和技术。

软件工程是为克隆【 】而提出的一种概念及相关方法和技术。

点击查看答案
第6题
●结构化方法是一种常用的软件工程方法,它强调的是分析系统的 (53) 。(53)

A.数据流

B.控制流

C.时间限制

D.进程同步

点击查看答案
第7题
软件工程是一种什么样的分阶段实现的软件程序开发方法?

A.自底向上

B.自顶向下

C.逐步求精

D.面向数据流

点击查看答案
第8题
软件开发环境是一个综合性的概念,它涵概了开发软件产品的方法、(6)和管理等多方面的因素。软件开发

软件开发环境是一个综合性的概念,它涵概了开发软件产品的方法、(6)和管理等多方面的因素。软件开发(6)是软件开发环境的一个因素,它包含软件工程整个过程(包括需求、设计、编码、测试等阶段)使用的所有工具软件,而不仅仅是用来供程序员使用的集成开发软件工具。不断完善软件开发环境,统一各个阶段接口的目的就是要不断提高软件工程过程的(7),实现软件工程各个环节相关人员正确的信息交互。提高企业的软件工程水平必须通过不断完善企业的软件工程本身,也就是软件工程的各个环节而实现。软件工程的水平不是指软件产品的技术水平,它是对软件产品开发过程的工程水平的描述。

A.要素

B.人员

C.工具

D.平台

点击查看答案
第9题
软件工程是一种()分阶段实现的软件程序开发方法。A.自底向上B.自顶向下C.逐步求精D.面向数据流

软件工程是一种()分阶段实现的软件程序开发方法。

A.自底向上

B.自顶向下

C.逐步求精

D.面向数据流

点击查看答案
第10题
结构化方法是一种常用的软件工程方法,它强调的是分析系统的(53)。A.数据流B.控制流C.时间限制D.进

结构化方法是一种常用的软件工程方法,它强调的是分析系统的(53)。

A.数据流

B.控制流

C.时间限制

D.进程同步

点击查看答案
退出 登录/注册
发送账号至手机
密码将被重置
获取验证码
发送
温馨提示
该问题答案仅针对搜题卡用户开放,请点击购买搜题卡。
马上购买搜题卡
我已购买搜题卡, 登录账号 继续查看答案
重置密码
确认修改