首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
admin
2009-05-15
77
问题
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
选项
A、边界值
B、统计
C、代数
D、精确
答案
B
解析
净室软件工程是软件开发的一种形式方法,它可以生成质量非常高的软件。它使用盒结构规约(或形式化方法)进行分析和设计建模,并且强调将正确性验证,而不是测试,作为发现和消除错误的主要机制。使用统计的测试来获取认证被交付软件的可靠性所必需的出错率信息。净室方法从使用盒结构表示的分析和设计模型入手,一个“盒”在某特定的抽象层次上封装系统(或系统的某些方面)。黑盒用于表达系统的对外可观测行为,状态盒封装状态数据和操作,清晰盒用于对某状态盒中的数据和操作所蕴涵的过程设计进行建模。一旦完成了盒结构设计,则运用正确性验证。软件构件的过程设计被划分为一系列子函数,为了证明每个子函数的正确性,要为每个函数定义出口条件并实施一组子证明。如果每个出口条件均被满足,则设计一定是正确的。一旦完成了正确性验证,便开始统计的使用测试。和传统测试不同,净室软件工程并不强调单元或集成测试,而是通过定义一组使用场景、确定对每个场景的使用概率及定义符合概率的随机测试来进行软件测试。将产生的错误记录和取样、构件和认证模型相结合使得可以数学地计算软件构件的可靠性。净室哲学是一种严格的软件工程方法,它是一种强调正确性的数学验证和软件可靠性认证的软件过程模型,其目标和结果是非常低的出错率,这是使用非形式化方法难以或不可能达到的。
转载请注明原文地址:https://kaotiyun.com/show/8LLZ777K
本试题收录于:
系统分析师上午综合知识考试题库软考高级分类
0
系统分析师上午综合知识考试
软考高级
相关试题推荐
微软公司向用户提供的Office97应用软件是基于()环境。A.DOSB.浏览器C.WindowsD.客户/服务器
在计算机网络中,错误的说法是()。
在Excel97中,如先后选定了不连续的A2:B4、A6、D3:E5三个单元格区域,则活动单元格是()。A.A2、A6、D3三个单元格B.A6单元格C.A2单元格D.D3单元格
目前计算机最具代表性的应用领域有,科学计算、数据处理、实时控制及______
internet的通信协议是()协议。
在Excel中,公式SUM(C2:C6)的作用是()。A.求C2到C6这五个单元格数据之和B.求C2和C6这两个单元格数据之和C.求C2和C6两单元格的比值D.以上说法都不对
关于计算机硬件系统,下列()说法是正确的。A.软驱属于主机,软磁盘本身属于外部设备B.硬盘和显示器都是计算机的外部设备C.键盘和鼠标器均为输入设备D.“裸机”是指不含任何软件系统的计算机
请将表格中姓名列用笔划排序。
WindowsXP在默认的情况下会安装一些常用的组件,根据安全的原则,应该是()。
管理信息系统、办公信息系统、民航订票系统、专家系统等都涉及()技歹
随机试题
下列关于痢疾志贺菌的特性描述正确的是()
女,38岁,因阴部有块状物脱出而就诊。妇科检查:阴道前壁脱出,超过处女膜缘,部分宫体与宫颈露于阴道口外,宫颈较长。其临床分度为
组织应制定一个或多个方案,其作用是保证环境( )的实现。
账户记录中如果出现漏记、重记、串记、反方向记录等时,有可能不影响发生额试算平衡。( )
在中国证监会对承销业务的现场检查中,包括检查作为主承销商是否对发行人信息披露文件的()进行了核查。
如果A、B两只股票的收益率变化方向和变化幅度完全相同,则由其组成的投资组合()。
马克思主义认为,实现人全面发展的根本途径是()
不等式4(χ-2)≤2(χ-1)的非负整数解的个数是().
在通过其他途径都不能获得满意的救济时,可以通过()渠道获得充分的补救。
"HowdidJamiefindoutaboutherpromotion?""She______byherboss."
最新回复
(
0
)