首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
以下关于软件开发方法的叙述,错误的是( )。
以下关于软件开发方法的叙述,错误的是( )。
admin
2013-01-20
76
问题
以下关于软件开发方法的叙述,错误的是( )。
选项
A、对于较为复杂的应用问题,适合采用形式化方法进行需求分析
B、形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现
C、净室软件工程将正确性验证作为发现和排除错误的主要机制
D、净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试
答案
A
解析
软件开发方法是指软件开发过程所遵循的办法和步骤,从不同的角度可以对软件开发方法进行不同的分类。
形式化方法是一种具有坚实数学基础的方法,从而允许对系统和开发过程做严格处理和论证,适用于那些系统安全级别要求极高的软件的开发。形式化方法的主要优越性在于它能够数学地表述和研究应用问题及软件实现。但是它要求开发人员具备良好的数学基础。用形式化语言书写的大型应用问题的软件规格说明往往过于细节化,并且难于为用户和软件设计人员所理解。由于这些缺陷,形式化方法在目前的软件开发实践中并未得到普遍应用。
净室软件工程(Cleanroom Software Engineering,CSE)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并且将正确性验证作为发现和排除错误的主要机制,使用统计测试来获取认证软件可靠性所需要的信息。CSE强调在规约和设计上的严格性,还强调统计质量控制技术,包括基于客户对软件的预期使用测试。
转载请注明原文地址:https://www.kaotiyun.com/show/WwQZ777K
本试题收录于:
系统架构师上午综合知识考试题库软考高级分类
0
系统架构师上午综合知识考试
软考高级
相关试题推荐
WithJapan’swelfaresystembucklingunderthedemandsofanageingsociety,theworld’soldestmanapologizedyesterdayforhis
Don’ttalk:yourcellphonemaybeeavesdropping.Thankstorecentdevelopmentsin"spyphone"software,ado-it-yourselfspook
执行下面代码后:
设置网络打印机,允许用户sy使用打印机。
在【安全中心】窗口中,设置windows防火墙,允许“文件和打印机共享”。
在金山毒霸2008中,设置可疑文件在被清除前备份至病毒隔离系统。
设置CuteFTP在启动时加载站点管理器,在连接不通的情况下重连接的次数不超过8次。
在【计算机管理】窗口中,使用鼠标将“FP”组更名为“FPJsers”。
关于计算机病毒的特征,正确的说法是()。A.计算机病毒只破坏软件系统,不破坏硬件系统B.计算机病毒具有自身复制到其他程序中的特性C.计算机病毒侵入系统后,会立即发作,对计算机造成破坏D.当外界条件满足计算机病毒发作要求时,计算机病毒程序中
使用“开始”菜单打开“资源管理器”,在C盘根目录下创建名为“打字.txt”的文本文档。
随机试题
甲公司职工赵某实际工作年限为6年,在甲公司工作年限为2年。赵某因患病住院治疗,其依法可享受的医疗期限为()。
甲公司是一家生产榨汁机的民营企业,成立于2010年。企业成立之初就将“让物美价廉的榨汁机进入百姓厨房”作为企业的愿景,让普通居民养成喝新鲜蔬果汁的意识,摆脱喝不健康饮料的习惯。但是由于渣汁分离操作不便、难以清洗以及营养挥发等原因,榨汁机上市初期的市场认可度
FootballisthemostpopularsportinthefallintheUnitedStates.Thegameoriginatedasa(an)【21】sportmorethanseventy-fiv
解剖式人工牙的牙尖斜度为
工人们常用普通碳素钢制造细长压杆,而不用高强度优质钢制造,是因为()。
在实际建筑工程中,一般来讲最优先选用的电缆是()。
以下关于战略导向的KPI体系说法正确的有()。
经济学理论认为,丰富的自然资源可能是经济发展的诅咒而不是祝福,大多数自然资源丰富的国家比那些资源稀缺的国家经济增长得更慢。历史表明,避免“资源诅咒”是十分困难的。而且并非如很多人所认为的.只有尼日利亚等欠发达国家才会受这一诅咒的困扰。由此可以推出
8086/8088的标志寄存器中的控制标志有( )。
Thelittleboywassofascinatedbythemightyriverthathewouldspendhourssittingonitsbankandgazingatthepassingboa
最新回复
(
0
)