首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
以下关于软件开发方法的叙述,错误的是( )。
以下关于软件开发方法的叙述,错误的是( )。
admin
2013-01-20
51
问题
以下关于软件开发方法的叙述,错误的是( )。
选项
A、对于较为复杂的应用问题,适合采用形式化方法进行需求分析
B、形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现
C、净室软件工程将正确性验证作为发现和排除错误的主要机制
D、净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试
答案
A
解析
软件开发方法是指软件开发过程所遵循的办法和步骤,从不同的角度可以对软件开发方法进行不同的分类。
形式化方法是一种具有坚实数学基础的方法,从而允许对系统和开发过程做严格处理和论证,适用于那些系统安全级别要求极高的软件的开发。形式化方法的主要优越性在于它能够数学地表述和研究应用问题及软件实现。但是它要求开发人员具备良好的数学基础。用形式化语言书写的大型应用问题的软件规格说明往往过于细节化,并且难于为用户和软件设计人员所理解。由于这些缺陷,形式化方法在目前的软件开发实践中并未得到普遍应用。
净室软件工程(Cleanroom Software Engineering,CSE)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并且将正确性验证作为发现和排除错误的主要机制,使用统计测试来获取认证软件可靠性所需要的信息。CSE强调在规约和设计上的严格性,还强调统计质量控制技术,包括基于客户对软件的预期使用测试。
转载请注明原文地址:https://jikaoti.com/ti/IP67FFFM
本试题收录于:
系统架构师上午综合知识考试题库软考高级分类
0
系统架构师上午综合知识考试
软考高级
相关试题推荐
Writealetterofabout100wordsbasedonthefollowingsituation: LiMing’sapplicationforadmissiontoWashingtonUniver
编码实现字符串转整型的函数(实现函数atoi的功能),据说是神州数码笔试题。如将字符串”+123”-->123,”-0123”-->-123,“123CS45”-->123,“123.45CS”-->123,“CS123.45”-->0
数据库的优化设计?
已知一台计算机的IP地址是192.168.1.159,搜索该计算机。
通过网上邻居查找mary计算机上的共享文件夹的保存文档。
利用MSN给bob@sina.com发送电子邮件内容“8号晚上到我家一起吃饭”。
在用户管理组administrators中删除lusi用户。
在OutlookExpress中,将主题为“生日聚会”的邮件保存到“我的文档”下,名称“生日聚会”。
对于PPoint来说,以下说法正确的是()。A.启动PPoint后直到关闭的过程中,只能建立或编辑一个演示文稿文件B.启动PPoint后直到关闭的过程中,可以建立或编辑多个演示文稿文件C.启动PPoint后,不能编辑多个演示文稿文件D.启动
目前计算机最具代表性的应用领域有,科学计算、数据处理、实时控制及______
随机试题
明朝初年强化君主专制的措施是()。
缺铁性贫血注射铁剂的指征是
A.党参B.硼砂C.山药D.薄荷E.扁豆贮藏通风干燥处的是()。
通常所说的建设项目竣工验收指的是(),是指发包人在建设项目按批准的设计文件所规定的内容全部建成后,向使用单位交工的过程。
如果中央银行将再贴现率从8%提高到10%,其他条件不变,则货币乘数扩大,从而商业银行创造出更多的派生货币,即货币供应量增加。()[2009年真题]
年度报告应披露最近()年的基金收益分配情况。
国内甲公司的记账本位币为人民币。2012年12月5日以每股7港元的价格购入乙公司的H股10000股作为交易性金融资产核算,当日汇率为1港元=1元人民币,款项已支付。2012年12月31日,当月购入的乙公司H股的市价变为每股8港元,进汇率为1港元=0.9元人
桀犬吠尧:《史记》()
历史上属于中华法系的国家和地区包括()。(2010多60)
1.Cancerisadiseaseinwhichcellsmultiplywithoutcontrol,destroyhealthytissue,andendangerlife.About100kindsofca
最新回复
(
0
)