首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
admin
2011-01-03
70
问题
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(25)
选项
A、测试
B、仿真
C、实验
D、正确性验证
答案
D
解析
净室软件工程是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将正确性验证作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性,以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。
转载请注明原文地址:https://kaotiyun.com/show/9ULZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
在foxpro中定义数据库结构时,字段名的宽度最多可以是()。A.2B.4C.10D.16
在word中,要显示页眉和页脚必须用()显示方式。A.普通视图 B.页面视图 C.大纲视图 D.全屏视图
在Word97的编辑状态,进行字体设置操作后,按新设置的字体显示的文字是()。A.文档中被选择的文字B.插入点所在段落中的文字C.插入点所在行中的文字D.文档的全部文字
为系统创建一个还原点,名称为“安装软件后”,以便电脑损坏时能将系统还原。
通过“添加或删除”窗口添加新程序“foxmail”,该程序位于“G:\常用软件\foxmail”,其安装设置采取默认值。
请在放映过程中更改幻灯片放映时圆珠笔的颜色为蓝色。
将当前演示文稿发送到MicrosoftOfficeWord。
CPU与()一起构成了计算机的主机部分。
允许用户从服务器上把邮件存储到本地主机上,同时删除保存在邮件服务器上的邮件协议是()。
随机试题
水泥砂浆防水层终凝后应及时进行养护,养护温度不宜低于()。
根据我国《专利法》的规定,我国实用新型专利的保护期限为()。
下列不属于网络操作系统的是______。
患者,男,60岁。饮酒后突然意识丧失,呼吸变深成鼾音,颜面潮红,脉搏慢而有力,颈软,左侧肢体瘫痪,首先考虑
下列属于精神药品的是()。
【背景资料】某机电安装工程公司中标某商住大厦的全部机电安装工程。合同规定,工程量清单计价采用综合单价计价。该公司项目部计算该工程相关费用为:分部分项工程量清单计价2200万元,措施项目清单计价70.5万元,其他项目清单计价120万元,规费90万元
开式细水雾灭火系统针对防护区内某一具体保护对象,如油浸变压器、燃气轮机的轴承等,直接喷放细水雾实施灭火属于按应用方式分的()应用方式开式系统。
美国临床心理学家阿尔伯特.艾利斯提出了认知的“ABC情绪理论框架”,其中A是指()。
(2017·江苏)每个人都有自己独立的人格,因此,人格无共性可言。()
2014年7月7日当天上午,党和国家领导人将到中国人民抗日战争纪念馆,同首都各界代表一起,隆重纪念全民族抗战爆发
最新回复
(
0
)