首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
以下关于软件开发方法的叙述,错误的是( )。
以下关于软件开发方法的叙述,错误的是( )。
admin
2013-01-20
58
问题
以下关于软件开发方法的叙述,错误的是( )。
选项
A、对于较为复杂的应用问题,适合采用形式化方法进行需求分析
B、形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现
C、净室软件工程将正确性验证作为发现和排除错误的主要机制
D、净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试
答案
A
解析
软件开发方法是指软件开发过程所遵循的办法和步骤,从不同的角度可以对软件开发方法进行不同的分类。
形式化方法是一种具有坚实数学基础的方法,从而允许对系统和开发过程做严格处理和论证,适用于那些系统安全级别要求极高的软件的开发。形式化方法的主要优越性在于它能够数学地表述和研究应用问题及软件实现。但是它要求开发人员具备良好的数学基础。用形式化语言书写的大型应用问题的软件规格说明往往过于细节化,并且难于为用户和软件设计人员所理解。由于这些缺陷,形式化方法在目前的软件开发实践中并未得到普遍应用。
净室软件工程(Cleanroom Software Engineering,CSE)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并且将正确性验证作为发现和排除错误的主要机制,使用统计测试来获取认证软件可靠性所需要的信息。CSE强调在规约和设计上的严格性,还强调统计质量控制技术,包括基于客户对软件的预期使用测试。
转载请注明原文地址:https://kaotiyun.com/show/WwQZ777K
本试题收录于:
系统架构师上午综合知识考试题库软考高级分类
0
系统架构师上午综合知识考试
软考高级
相关试题推荐
Asthelatestcropofstudentspentheirundergraduateapplicationformandweighuptheiroptions,itmaybeworthconsidering
输入一个整数数组,判断该数组是不是某二元查找树的后序遍历的结果。如果是返回true,否则返回false。例如输入5、7、6、9、11、10、8,由于这一整数序列是如下树的后序遍历结果:因此返回true。如果输入7、4、6、5,没有哪棵树的后序遍历
大概描述一下ASP。NET服务器控件的生命周期
.什么叫应用程序域?什么是受管制的代码?什么是强类型系统?什么是装箱和拆箱?什么是重载?CTS、CLS和CLR分别作何解释?
存储过程和函数的区别
利用IE内置的搜索“李克强”简历。
设置本地连接添加“Microsoft网络的文件和打印机共享”。
在新浪主页中,利用搜索功能,查找“汽车”相关的网站。
利用控制面板,将系统日期设置为2008年8月8日。
对于PPoint中的视图模式,以下说法错误的是()。A.幻灯片浏览视图下不能设置放映方式B.幻灯片视图注重于对幻灯片的文本和对象进行详细操作C.每种视图模式在演示文稿的制作和显示中有不同的作用D.大纲视图便于查看和编排演示文稿的大纲
随机试题
图形上标明的尺寸同图形的比例大小有关。()
邓小平讲“发展才是硬道理”,因为( )
设函数y=sin(x一2),则y"=______.
以下除哪项外,均为牛膝的功效
医疗机构负责人收受药品生产企业给予的财物的( )。医疗机构在药品购销中暗中给予、收受回扣或者其他利益的( )。
A.甘露醇B.低分子右旋糖酐C.川芎嗪D.阿司匹林E.肝素脑血栓形成急性期的血液稀释疗法应首选()
南京大屠杀发生于()。
下列反常积分发散的是()
Whetheryou’retheowneroftheDallasCowboysorcaptainoftheplaygrounddodgeballteam,thegoalinpickingplayersisthe
Hepurchasedaticketandwentuponthetopdeck.
最新回复
(
0
)