首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。 (25)
admin
2011-01-03
54
问题
净室软件工程是软件开发的一种 (24) 方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将 (25) 作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。
(25)
选项
A、测试
B、仿真
C、实验
D、正确性验证
答案
D
解析
净室软件工程是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并将正确性验证作为发现和排除错误的主要机制,采用统计测试来获取验证软件可靠性所需要的信息。净室软件工程强调在规约和设计上的严格性,以及使用基于数学的正确性来证明对设计模型的每个元素进行形式化验证。
转载请注明原文地址:https://kaotiyun.com/show/9ULZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
在计算机中的一切有形部分,所有看得见摸得着的部分称为()。A.硬件 B.裸机 C.软件 D.完整的计算机
在excel中,让单元格中的内容换行的快捷键是()。A.alt+tabB.alt+shiftC.alt+enterD.ctrl+enter
在PPoint中,要添加或改变幻灯片中的对象链接,可选择“幻灯片放映”菜单中的()命令。A.动作设置B.预设动画C.幻灯片切换D.自定义放映
在Word文档编辑中,可使用“插入”菜单中的()命令,在文档的指定位置插入个分节符。
请将E盘根目录下的“backup”文件夹设为网络共享,共享名为“备份文件”。
请为当前演示文稿选择切换效果为“盒状展开”。
下列关于队列的叙述中正确的是______。
假设一个系统由三个相同子系统并联构成,子系统的可靠性为0.9,平均无故障时间为10000小时则系统可靠性为()
逆向工程过程的抽象层次是指可从源代码中抽取出来的设计信息的精密程度。抽象层次分为4层,其中“最低层”抽象能够导出过程的设计表示文档,“低层”抽象能够导出程序和数据结构信息,“中层”抽象能够导出(1),“高层”抽象能够导出(2)。
随机试题
下列关于牵张反射的叙述,错误的是
下列哪项酶学检查对了解胸水性质更有帮助
某病人验尿时发现尿中有血细胞,可能的原因是()。
已知函数f(x)=x2-1,函数g(x)=2tlnx,其中t≤1。如果曲线y=f(x)与y=g(x)有且仅有一个公共点,求t的取值范围。
受到国家地理标志产品保护,拥有亚洲最大的生产基础的周边特色水果是()。
习近平总书记在十九届中央政治局举行第五次集体学习时提出,要加强对共产党人的理论学习,不忘初心地为人民发展贡献力量。因为共产党是中国工人阶级的先锋队,同时是中国人民和中华民族的先锋队,是中国特色社会主义事业的坚强领导()。
新政策要实现真正的惠民,必须先确保政策的顺利实施。只有在深入调研的基础上保证政策的科学性和可行性,才能确保政策的顺利实施。但是,如果没有充分地征求民意,是不可能保证政策的科学性和可行性的。由此可以推出()。
______是一个用以更好地支持企业或组织的决策分析处理的、面向主题的、集成的、相对稳定的、体现历史变化的数据集合。
在某DHCP客户机上捕获的4条报文如下表所示,表中对第4条报文进行了解析。分析表中的信息并补全空白处的信息。【2】
Quiteanumberofcorporationshaveexperiencedmanyunexpectedtroublesconcerningcompanyorproductnames.Moreover,evenatt
最新回复
(
0
)