首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
admin
2011-01-03
66
问题
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(25)
选项
A、测试
B、仿真
C、实验
D、正确性验证
答案
D
解析
净室软件工程是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将正确性验证作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性,以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。
转载请注明原文地址:https://kaotiyun.com/show/9ULZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
关系型数据库只能描述()关系。A.网络型B.二维表格C.图D.层次型
在PPoint97中,可建立一个空演示文稿的操作方法是()。A.CTRL+SB.CTRL+NC.CTRL+OD.CTRL+Z
有关PPoint幻灯片超级链接的使用,正确的概念是()。A.放映时,单击超级链接就会跳转到目的位置B.使用超链只能从同一演示文稿中某一幻灯片位置跳转到另一幻灯片位置C.使用超链只能从同一演示文稿中某一幻灯片位置跳转到某个Internet地址D.
下面是有关PPoint演示文稿播放控制方法的描述,其中()是错误的。A.可用键盘控制播放B.可用鼠标控制播放C.单击鼠标,幻灯片切换到"下一张",但用鼠标却不能切换到"上一张"D.按"↓"键切换到"下一张",按"↑"键切换到"上一张"
请利用“网络和Internet连接”建立一个使用拨号调制解调器上网,名称为“abc”的连接,用户名为“12345”,密码为“333。上网使用的电话号为“9876543”,创建完成的链接在桌面上显示快捷方式图标。
请为当前演示文稿选择切换效果为“盒状展开”。
请将默认图表改为学生成绩表,显示每个学生的高等数学、普通物理和英语成绩。
请统计津贴分配表中的津贴分配情况中每部门每种职称的津贴总数。
给选中的列添加底纹填充颜色为浅绿色(标准色第5个),样式为浅色网格,颜色为浅蓝色(标准色第7个)。
公司实施一个纵深防御政策,问由保护逐级增加的层次设计?
随机试题
A、散寒止带B、开郁顺气C、理气健脾D、补气益血E、温阳散寒乌鸡白凤丸既能调经止带,又能()。
(2017年)2×16年1月1日,甲公司经股东大会批准与其高管人员签订股份支付协议,协议约定:等待期为自2×16年1月1日起两年,两年期满有关高管人员在甲公司工作且每年净资产收益率不低于15%的,高管人员每人可无偿取得10万股甲公司股票。甲公司普通股按董事
在行政诉讼中,对被诉的行政行为负举证责任的是()。
2011年全国共举办展览6830场,比2010年增加9.2%;展出面积为8120万平方米,比2010年增长8.5%;50人以上专业会议64.2万场,比2010年增加17.4%;万人以上节庆活动6.5万场,比2010年增长3%;出国境展览面积60万平方米,比
社会主义初级阶段基本经济制度,既包括作为社会主义经济基础的公有制经济,也包括不是社会主义经济基础的非公有制经济。把非公有制经济纳入到基本经济制度之中,是因为()
某电影公司计划使用IT系统把我国建国60周年国庆阅兵仪式做成一个有史以来最好的数字格式纪录片。项目承建方允许高级项目经理使用任何需要的资源,但是高级项目经理提出的能胜任此任务的最佳人选却正在执行另一个项目,可见该项目最主要的约束是(55)。
多数情况下,结构化开发方法是信息系统工程和()开发的有效方法。
关于ARM嵌入式处理器的工作状态,以下说法正确的是()。
NeitherhenorI______interestedinrockmusic.
Gotapenhandy?Tobestestimateyourstart-upcosts,you’llneedtomakealistandthemoredetailedthebetter.Asmartway
最新回复
(
0
)