首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
以下关于软件开发方法的叙述，错误的是( )。
以下关于软件开发方法的叙述，错误的是( )。
admin
2013-01-20
78
问题
以下关于软件开发方法的叙述，错误的是( )。
选项
A、对于较为复杂的应用问题，适合采用形式化方法进行需求分析
B、形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现
C、净室软件工程将正确性验证作为发现和排除错误的主要机制
D、净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试
答案
A
解析
软件开发方法是指软件开发过程所遵循的办法和步骤，从不同的角度可以对软件开发方法进行不同的分类。
形式化方法是一种具有坚实数学基础的方法，从而允许对系统和开发过程做严格处理和论证，适用于那些系统安全级别要求极高的软件的开发。形式化方法的主要优越性在于它能够数学地表述和研究应用问题及软件实现。但是它要求开发人员具备良好的数学基础。用形式化语言书写的大型应用问题的软件规格说明往往过于细节化，并且难于为用户和软件设计人员所理解。由于这些缺陷，形式化方法在目前的软件开发实践中并未得到普遍应用。
净室软件工程(Cleanroom Software Engineering，CSE)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并且将正确性验证作为发现和排除错误的主要机制，使用统计测试来获取认证软件可靠性所需要的信息。CSE强调在规约和设计上的严格性，还强调统计质量控制技术，包括基于客户对软件的预期使用测试。
转载请注明原文地址:https://kaotiyun.com/show/WwQZ777K
本试题收录于：
系统架构师上午综合知识考试题库软考高级分类
0
系统架构师上午综合知识考试
软考高级
相关试题推荐
AnanalysisoffootageofoctopusesoffthecoastofAustralia"throwing"shellsandsiltsuggeststhattheyintentionallytar
修改电子邮件帐户的邮件地址为bob@sohu.com。
在新浪主页中，利用搜索功能，查找“汽车”相关的网站。
在OutlookExpress中，将主题为“生日聚会”的邮件保存到“我的文档”下，名称“生日聚会”。
利用MSN给bob@sina.com发送文件千里之外.mp3。
设置拨号连接属性允许网络上其他用户使用本机的打印机和共享资源。
在【安全中心】窗口中，设置windows防火墙，允许“文件和打印机共享”。
从当前界面上开始操作，把联机用户min邀请加入到对话框中，开始多用户对话。
通过【控制面板】中的添加硬件向导，安装Modem的驱动程序。让系统自动搜索安装软件，Modem的型号为：IntelV92HaMDataFaxVoice。
通过“我的电脑”窗口打开“资源管理器”，然后以“详细信息”显示图标。
随机试题
Inatechnology-intensiveenterprise,computers______allprocessesoftheproductionandmanagement.
与血液生成关系最密切的脏腑是
单纯型肾病不具备下列哪项临床表现
进行腹部视诊时，下列哪些情况可见到胃肠型和蠕动波?()
对材料费成本的控制是公路施工企业成本控制的重点。下列措施不是对材料的“物价”控制的是()。
据财政部门初步统计。2011年中央财政对“三农”的实际投入首次突破()大关，同比增长21.3％。
物业服务定价成本监审应遵循()的原则。
某收益性资产，评估基准日后可使用年限为30年，每年收益为30万元，折现率为10％，其评估价值最接近于()。
首次将“亲亲得相首匿”原则规定下来的法律是()。
下列可作为VisualBasic变量名的是______。
最新回复
(
0
)
