首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
admin
2011-01-03
75
问题
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(25)
选项
A、测试
B、仿真
C、实验
D、正确性验证
答案
D
解析
净室软件工程是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将正确性验证作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性,以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。
转载请注明原文地址:https://kaotiyun.com/show/9ULZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
要在中文状态中输入英文字符,下列操作中错误的是()。A.用ctrl+空格键切换到英文输入方式中,然后输入英文字符。B.按capslock键使capslock指示灯亮,然后输入英文字符。C.按住shift键再按英文字符。D.shift+空格进
在PPoint中,要添加或改变幻灯片中的对象链接,可选择“幻灯片放映”菜单中的()命令。A.动作设置B.预设动画C.幻灯片切换D.自定义放映
目前计算机上最常用的外存储器是()。
程序文件执行过程中要使用调试窗口,应该选择()。A.program菜单中的“trace”选项B.database菜单中的“trace”选项C.windows菜单中的“trace”选项D.debug菜单中的“trace”选项
在桌面上打开“帮助和支持中心”,利用选择一个主题的方法搜索关于WindowsXP的桌面新功能方面的帮助信息。
请将选中的图形文件梯形做水平翻转。
请利用同组工作表编辑方法,对工作簿Book1,在其工作表Sheet1、Sheet2、Sheet3的单元格C1中输入相同内容“Excel”。
以下程序运行时输出到屏幕的结果中第一行是 (8) ,第二行是(9) ,第三行是(10) 。算法提示:将Fibonacci数列(1,1,2,3,5,8,13,…)前6个数填入a数组。#include#defineN3intmain(){i
网络设备管理是网络资源管理的重要内容。在网络设备中,网关属于()。
(1)按工作最早完成时间计第D、E、G3项工作各推迟了多少天?(2)根据图3-9给出的参数,机房建设工程原来计划的总工期是多少天?(3)D、E、G3项工作中,哪些工作对工程如期完成会构成威胁?该威胁使得该子工程的工期推迟多少天?该网
随机试题
下列做法不正确的是()
麦芽、稻芽均具有的功效是____________;除治米面薯芋类积滞外,还皆可用治____________。
常规CT扫描采取俯卧位的是
亚硝酸中毒的特效解毒剂是
维生素C维生素E
A.吸入型糖皮质激素B.非甾体抗炎药B.β受体阻断剂D.短效β2受体激动剂E.白三烯受体阻断剂连续规律用药2日以上方能充分发挥作用的药品是()。
对现场建筑材料的堆放的一般要求有()。
依照英国伦敦保险协会的“协会货物条款”规定,保险公司对其基本险所承担的责任范围最大的是()。
按照我国《保险法》规定,人身保险合同中不可抗辩条款适用的情况是( )。
以下有关货币的时间价值的说法,正确的有( )。
最新回复
(
0
)