首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
admin
2011-01-03
62
问题
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(25)
选项
A、测试
B、仿真
C、实验
D、正确性验证
答案
D
解析
净室软件工程是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将正确性验证作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性,以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。
转载请注明原文地址:https://kaotiyun.com/show/9ULZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
显示器是一种()A.输入设备 B.输出设备 C.存储器 D.运算器
在Excel中,公式SUM(C2:C6)的作用是()。A.求C2到C6这五个单元格数据之和B.求C2和C6这两个单元格数据之和C.求C2和C6两单元格的比值D.以上说法都不对
Word文档存盘,既可按Word方式,也可按()方式。
在PPoint中,要添加或改变幻灯片中的对象链接,可选择“幻灯片放映”菜单中的()命令。A.动作设置B.预设动画C.幻灯片切换D.自定义放映
将桌面上的“Word”陕捷方式附加到“开始”菜单的“固定项目列表”中,然后查看“开始”菜单中有无添加该项目。
已知道该电脑处于局域网中,请利用“网络和Intemet连接”将本地连接的IP地址设置改为自动获取IP。
在当前窗口中,通过D盘打开还原程序,将“要还原的项目”中的第二个项目中的文件进行还原。
根据数据结构中各数据元素之间前后件关系的复杂程度,一般将数据结构分成()。
在Word2003中,当文档中插入图形对象后,可以通过设置图片的环绕方式进行图文混排,下列()不是Word2003提供的环绕方式。
判断题:IEEE是美国的管制机构,控制着无线频率的使用。A、正确B、错误
随机试题
A、Itishelpfulforstudentstoknowthemselves.B、Itishelpfultocreateabalancedschoolcurriculum.C、Studentscanbesucce
常用醋制的药是
有关急性肾小管坏死,下面描述错误的是
监理单位的建设工程质量控制手段包括()等。
()依法对证券公司及其分支机构的融资融券业务活动中涉及的客户选择、合同签订、授信额度的确定、担保物的收取和管理、补交担保物的通知,以及处分担保物等事项进行非现场检查和现场检查。
关于继承权的取得和放弃,下列选项正确的是()。
商品流通企业选择供应商的程序包括()等。
某外资持股25%的重型机械生产企业,2014年全年主营业务收入7500万元,其他业务收入2300万元,营业外收入1200万元,主营业务成本6000万元,其他业务成本1300万元,营业外支出800万元,税金及附加420万元,销售费用1800万元,管理费用1
××省政府关于××市××历史文化名村保护规划的批复×政复[2015]64号××市人民政府:贵市________。现批复如下:一、原则同意贵市报送的
请根据网页显示的效果图(如图12-4所示),将HTML文本中(n)处解答填于纸相应的解答栏内。<html><head><!--TcmplateBeginEditablename="doctitle"--><titl
最新回复
(
0
)