首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
admin
2009-05-15
79
问题
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
选项
A、边界值
B、统计
C、代数
D、精确
答案
B
解析
净室软件工程是软件开发的一种形式方法,它可以生成质量非常高的软件。它使用盒结构规约(或形式化方法)进行分析和设计建模,并且强调将正确性验证,而不是测试,作为发现和消除错误的主要机制。使用统计的测试来获取认证被交付软件的可靠性所必需的出错率信息。净室方法从使用盒结构表示的分析和设计模型入手,一个“盒”在某特定的抽象层次上封装系统(或系统的某些方面)。黑盒用于表达系统的对外可观测行为,状态盒封装状态数据和操作,清晰盒用于对某状态盒中的数据和操作所蕴涵的过程设计进行建模。一旦完成了盒结构设计,则运用正确性验证。软件构件的过程设计被划分为一系列子函数,为了证明每个子函数的正确性,要为每个函数定义出口条件并实施一组子证明。如果每个出口条件均被满足,则设计一定是正确的。一旦完成了正确性验证,便开始统计的使用测试。和传统测试不同,净室软件工程并不强调单元或集成测试,而是通过定义一组使用场景、确定对每个场景的使用概率及定义符合概率的随机测试来进行软件测试。将产生的错误记录和取样、构件和认证模型相结合使得可以数学地计算软件构件的可靠性。净室哲学是一种严格的软件工程方法,它是一种强调正确性的数学验证和软件可靠性认证的软件过程模型,其目标和结果是非常低的出错率,这是使用非形式化方法难以或不可能达到的。
转载请注明原文地址:https://kaotiyun.com/show/8LLZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
在Powerpoint2000中,演示文稿与幻灯片的关系是()
在Excel97中,要在B1单元格中显示A1、A2、A3单元格中数据的平均值,错误的公式是()。A.=(A1+A2+A3)/3B.=SUM(A1:A3)/3C.=AVERAGE(A1:A3)D.=AVERAGE(A1:A2:A3)
若需长期保存输入的信息,则以文件的形式存在微机的()中。A.外存B.内存C.控制器D.显示器
5英寸软盘的容量是()。A.1.2mb B.1.44mb C.2.1mb D.720kb
程序必须被调入(),才能运行。A.内存B.硬盘 C.软盘 D.网络
要从数据中删除记录,一般分两步进行,首先要?()。A.给指定的记录做标记B.被选择的记录做标记C.给指定的记录做删除标记D.可以用pack命令
利用当前窗口创建一个组名为“TYKJ”的小型网络,此计算机通过居民区的网关或网络上的其他计算机与:Intemet连接,不共享文件夹和网络打印机,计算机描述为“c01”,不创建安装磁盘(提示:出现要求重新启动计算机的对话框即完成此题)。
利用“开始”菜单打开“通讯簿”窗口,查找用户名为“云帆”,电子邮件地址为“yunfanr@163.com”。依次查看该用户的姓名、住宅、业务和个人的情况。完成后关闭通讯簿。
请设置幻灯片中两个按钮对象以中心按参考线对齐。
查看日期和时间函数的帮助信息。
随机试题
计算对接接头静载强度时,不考虑焊缝的(),所以计算基本金属强度的公式完全适用于计算对接接头。
听阈是指
药品经营企业必须具有
简述无权处分与无权代理有何区别。[苏州大学2012年研]
当工程总报价确定后,通过调整工程量清单内某些项目的单价,使其不影响中标,但又能在结算时获得较好的经济效益的投标报价技巧称为( )。
玻璃钢冷却塔的重量包括( )等。
“勉从虎穴暂栖身,说破英雄惊煞人。巧将闻雷来掩饰,随机应变信如神。”这首诗说的是《三国演义》中一段故事。这个故事是:
工具是个人相互联系的中介。()
战后西方主要资本主义国家出现的新变化表明()
软件需求规格说明书的作用不包括
最新回复
(
0
)