首页
外语
计算机
考研
公务员
职业资格
财经
工程
司法
医学
专升本
自考
实用职业技能
登录
计算机
以下关于软件开发方法的叙述,错误的是( )。
以下关于软件开发方法的叙述,错误的是( )。
admin
2013-01-20
69
问题
以下关于软件开发方法的叙述,错误的是( )。
选项
A、对于较为复杂的应用问题,适合采用形式化方法进行需求分析
B、形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现
C、净室软件工程将正确性验证作为发现和排除错误的主要机制
D、净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试
答案
A
解析
软件开发方法是指软件开发过程所遵循的办法和步骤,从不同的角度可以对软件开发方法进行不同的分类。
形式化方法是一种具有坚实数学基础的方法,从而允许对系统和开发过程做严格处理和论证,适用于那些系统安全级别要求极高的软件的开发。形式化方法的主要优越性在于它能够数学地表述和研究应用问题及软件实现。但是它要求开发人员具备良好的数学基础。用形式化语言书写的大型应用问题的软件规格说明往往过于细节化,并且难于为用户和软件设计人员所理解。由于这些缺陷,形式化方法在目前的软件开发实践中并未得到普遍应用。
净室软件工程(Cleanroom Software Engineering,CSE)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用盒结构规约进行分析和建模,并且将正确性验证作为发现和排除错误的主要机制,使用统计测试来获取认证软件可靠性所需要的信息。CSE强调在规约和设计上的严格性,还强调统计质量控制技术,包括基于客户对软件的预期使用测试。
转载请注明原文地址:https://kaotiyun.com/show/WwQZ777K
本试题收录于:
系统架构师上午综合知识考试题库软考高级分类
0
系统架构师上午综合知识考试
软考高级
相关试题推荐
Bottledwaterhasgonefromaconveniencetoanalternativedrinking-watersystem,withaboutathirdofAmericanschoosingito
.什么叫应用程序域?什么是受管制的代码?什么是强类型系统?什么是装箱和拆箱?什么是重载?CTS、CLS和CLR分别作何解释?
利用IE内置的搜索“李克强”简历。
如果WindowsXP不能够识别网络适配器如何安装网络适配器。
设置拨号连接属性,使用终端窗口功能登录到远程计算机。
在【安全中心】窗口中,设置windows防火墙,允许“文件和打印机共享”。
从当前界面开始,到“电话和调制解调器的选项”中,将系统中的标准56000bps调制解调器删除。
利用控制面板,将系统日期设置为2008年8月8日。
在控制面板窗口,将系统日期设置为2008年8月8日。
目前计算机最具代表性的应用领域有,科学计算、数据处理、实时控制及______
随机试题
设二维随机变量(X,Y)的概率密度为f(x,y)=则常数c=________.
奶牛产后65天内未见明显的发情表现,直肠检查卵巢上有一小的黄体遗迹,但无卵泡发育,卵巢的质地和形状无明显变化。与该病无关的病因是
属于人畜共患病的是
患者,男,42岁,心悸失眠,虚烦,咽干,盗汗,脉细数。用药宜选
应用J6级经纬仪测角时,边长大于()m时,宜用一测回。
当工程变更减少了工程量或工作内容时,实际完工所需天数也相应缩短,则()合同工期。
犯罪未完成形态存在于()。
决定必须由()。
有人从法律操作的层面提出,农民画申遗会造成著作权认定的矛盾,因为国家和民族的文化遗产,作者是集体性和匿名性的,而农民画的作者非常明确,具有著作权法所规定的主客体条件。根据文意,下列说法不正确的是()。
小张约小李第二天去商场,小李说:“如果明天不下雨,我去爬山。”第二天,天下起了毛毛细雨,小张以为小李不会去爬山了,就去小李的宿舍找他,谁知小李仍然去爬山了。待两人又见面时,小张责怪小李食言,既然天下雨了,为什么还去爬山;小李却说,他并没有食言,是小张的推论
最新回复
(
0
)