22/3/14 上海交通大学计算机系
1
第十二讲 软件项目质量管理
第十二讲 软件项目质量管理
22/3/14 上海交通大学计算机系
2
主要内容 主要内容
软件质量的重要性
软件质量的描述
质量度量
ISO9126
软件质量度量方法
软件质量改进
22/3/14 上海交通大学计算机系
3
软件质量的重要性 软件质量的重要性
尽管所有的商品或服务都存在质量问题,但是软 件的特殊性,特别是其复杂性和不可见性,使其 更为重要
软件危险性的增加:企业越来越依赖软件
软件的无形性:很难知道项目中的特定任务是否完全 满足
软件开发过程中错误积累
22/3/14 上海交通大学计算机系
4
软件质量 软件质量
对软件系统可以从三方面描述:
描述系统如何工作的功能描述
功能如何提供的质量描述
花费在系统上的资源描述
问题:学院工资系统准备选用商品化软件。请定
义选择原则?
22/3/14 上海交通大学计算机系
5
软件质量 软件质量 /// ///
答案:
对用户需求进行调查,以明确不同用户的不同需求集合
将需求分成若干组,并定义质量和其它属性,如质量,可用性,
效率,灵活性等
某些需求具有绝对特性。例如,应用程序必须能够记录职员的最 大条数。这种需求必须满足。
某些需求具有相对特性。某些相对需求比其它需求更重要
市场上调查一系列待选的软件。
度量软件质量的方法需要确定
某些软件的某些方面有不足,但是其它方面可能给以补偿,因而 定义某些方法来完策划能够选择。
22/3/14 上海交通大学计算机系
6
软件质量 软件质量
软件质量可以包括:
运行质量
正确性
可靠性
集成性
可用性
修改质量
可维护性
可测试性
灵活性
转换质量
可移植性
可重用性
互操作性
问题:请指出质量特性中哪些是无关 的,互补的和冲突的?
无关的:如可用性和可重用性 互补的:如灵活性与可维护性
冲突的:由于考虑了某一类型的平 台可能效率高,但是移植性差
22/3/14 上海交通大学计算机系
7
软件质量 软件质量
质量要素需要转化成开发者可以意识到的内部准 则。
问题:同一准则 出现在不同的质 量要素中说明了 什么?
说明这些质量要
素是互补的。
22/3/14 上海交通大学计算机系
8
质量度量 质量度量
对于每一准则,必须定义一个和多个度量标准来 完成评估工作
任何相对度量需要将度量的单元与环境中发生的 最大可能性相联系,例如程序中最大的错误数就 需要和程序的大小相联系。
在某些时候,我们可以直接度量质量,在另外一 些时候,我们度量的是质量的表现。
软件的使用者关注的是质量因素,而开发者需要
关注的是质量准则。
22/3/14 上海交通大学计算机系
9
质量度量 质量度量
为了度量,需要对每一质量规定:
度量的单元
测试的范围
最差的可接受的值
计划达到的值
当前可达到的最佳的值
目前的值
问题:针对字处理系统,举出一个质量度量的例
子。
22/3/14 上海交通大学计算机系
10
质量度量 质量度量
质量:易学习性
定义:新手学会使用软件生成一份标准文档的时间
度量的单元:小时
测试:首先对新手进行调查以确定他们的字处理软件的 使用经验,然后给他们一台机器,一套软件,训练手册 和安装文档。然后测试他们学会生成一份文档的时间
最差: 4 小时
计划: 2 小时
最好: 1 小时
目前: 4 小时
22/3/14 上海交通大学计算机系
11
质量度量 质量度量
为了产生一份质量描述文档,经常需要将质量准
则进一步细分。例如可用性下面的易理解性,可
以分成:菜单结构的易理解性,特别是某项执行
功能的命令要容易找到,其它方面还包括错误消
息的提供,帮助信息的提供等
22/3/14 上海交通大学计算机系
12
ISO9126 ISO9126
目前,不少人提出了不同的软件质量特性表示方 法。但是缺少一个公共的标准。例如可维护性能 够指错误可以迅速确定并被修改,也可以指软件 能够很容易地被修改。
制定于 1991 年的 ISO9126 标准就是处理软件
质量问题的。这份 13 页的标准为制定进一步的
标准奠定了基础。
22/3/14 上海交通大学计算机系
13
ISO9126 ISO9126
ISO9126 规定软件质量可以从 6 个特性来评价:
Functionality: 与一组功能及其指定的性质有关的一组属性
Reliability: 在规定的时间和条件下,软件维持其性能水平的能力 有关的一组属性
Usability: 与一组规定或潜在用户为使用软件所需作的努力和对 这样的使用所作的评价有关的一组属性
Efficiency: 在规定的条件下,软件性能水平与所用的资源量之间 关系相关的一组属性
Maintainability: 与进行指定的修改所需的努力有关的一组属性
Portability: 与软件可从某一环境转移到另一环境的能力有关的一 组属性
22/3/14 上海交通大学计算机系
14
ISO9126 ISO9126
ISO9126 对每一特性规定了子特性
功能特性:
Compliance( 依从性 ) 指的是软件符合应用标准或法律的程度
。
Interoperability (互操作性)指的是软件与其它系统交互的 能力
22/3/14 上海交通大学计算机系
15
ISO9126 ISO9126
可靠性
Maturity (成熟性)指的是由于软件产品的问题而出现故障 的频率
可用性
22/3/14 上海交通大学计算机系
16
ISO9126 ISO9126
效率和可维护性
Stability( 稳定性 ) 不是指软件从不变化,而是指软件由于预 想不到的原因而要修改的风险很低。
可移植性
Conformance( 遵循性 ): 与 Compliance( 依从性 ) 不一样,它 与可移植性有关。例如使用标准的编程语言就是一种遵循性
。
22/3/14 上海交通大学计算机系
17
ISO9126 ISO9126
ISO9126 也提供了使用这些质量特性的指南。
对于不同的产品,各种质量特性的重要程度是各不相 同的。一旦软件产品的需求建立起来后,就要进行下 列步骤:
质量度量标准的选择: ISO9126 没有给出具体的方法
排序水平定义:度量的结果需要映射成等级以确定需求满足 的程度。
22/3/14 上海交通大学计算机系
18
ISO9126 ISO9126
评价准则定义
对每一个特性进行评价后,需要对整个产品有一个综合的质量 评价
ISO9126 没有给出具体的方法。
推荐方法:首先根据产品的特定确定必须的特性,如果产品在 这些特性方面没有满足,则不能采用,对于那些不是最为关键 的特性可以采用下表的方法进行综合计算:
22/3/14 上海交通大学计算机系
19
软件质量度量方法 软件质量度量方法
本节所讲的是某些质量特性的建议的度量方法,对于具体的产品,
质量特性的度量各有不同。
可靠性
Availability (可用性):在一段时间内系统可用的时间比例
Mean time between failures ( MTBF ) : 两次失效间隔的平均时间
Failure on demand: 在需要用该系统的时间,系统不可工作的概率,或 者一项事务失败的概率
Support activity: 错误报告的次数
某一系统安装后,一般在星期一到星期五中 8:00 到 6 : 00 使用,
四星期后,系统因为硬盘问题有一整天不可用。在接下来的另外两 天由于头天晚上的批处理运行的问题每次直到早晨 10 点才能使用
,请计算 Availability 和 MTBF 。
22/3/14 上海交通大学计算机系
20
软件质量度量方法 软件质量度量方法
可维护性
该特性与灵活性紧密关联。灵活性是系统修改的容易 程度。可维护性可以用灵活性加上可诊断性来度量。
诊断性可以用诊断一个错误的平均时间来度量。
可扩展性
将新的特征加到现有系统中的效率占从头开始开发一 个新系统的效率的比。
某公司开发一个包含 5000SLOC 的系统花费了 400 个人日。对系统添加一个新功能增加了 100SLOC 花 费 20 个人日,问扩展性为多少?
40 %
22/3/14 上海交通大学计算机系
21
产品和过程质量管理 产品和过程质量管理
上述度量都是在产品出来后进行的,这种事后度量也许太 晚了。
在过程的各个阶段可能都会引入错误,这种错误将传递到 后续的阶段。因而需要在过程进行中尽心仔细的检查。
Entry Requirements: 在活动开始前,需要准备好的条件。如在开 始前,要准备好测试数据和期待结果。
Implementation Requirements: 过程如何进行。如在测试中,当发 现一个错误并加以改进后,所有的测试必须重新进行。
Exit Requirements: 在一个活动结束前必须满足的条件。例如测试 阶段结束的条件是所有的错误都被更正并且不能够再发现任何错 误。
问题:在什么情况下,前面一个活动的结束条件不是后面
一个活动的进入条件。
22/3/14 上海交通大学计算机系
22
产品和过程质量管理 产品和过程质量管理
答案:在某些场合,某一活动可以在它前面一个 活动完全结束前开始。在这种情况下,后面活动 的进入条件可以与前面一个活动的退出条件不一 致。例如,某些软件模块的界面还没有最后调整 好前,就可以先在硬件平台上来测试性能。
问题:请为学院工资系统的代码编写活动确定进
入条件和退出条件?
22/3/14 上海交通大学计算机系
23
提高软件质量的途径 提高软件质量的途径
Increasing visibility( 增加可见性 ): 例如“ egoless programming” 编程员相互浏览对方代码。
Procedure Structure( 过程结构)
Checking Intermediate Stages( 检查中间环节)
:将错误消灭在萌芽状态
22/3/14 上海交通大学计算机系
24
提高软件质量的途径 提高软件质量的途径
Inspection( 检查 ):
通过将完成的工作交付给多个合作者检查,然后召开 会议进行讨论如何修改。该方法可以:
很容易地发现表面错误
激励编程人员编写出结构更好,更清晰地代码,因为他知道 否则别的人将会批评他
提高团队精神
22/3/14 上海交通大学计算机系
25
提高软件质量的途径 提高软件质量的途径
IBM 建立了一套更为正式和结构化的检查过程,称为 Fangan 检 查
对所有主要的交付物都进行检查
所有的错误都需加以注意,而不仅是逻辑的和功能的错误
检查可以由在所有层次的人员(除了最上层的人员外)进行检查
检查采用预定义的步骤进行
检查会议不超过两小时
检查由一个经过训练的“ moderator” 来领导
其它参与者也有定义的角色,例如一个人员担任记录员,另一担任 阅读者等
采用 Checklist 来帮助检查过程的实施
检查材料时采用 100 行一小时的速度
采用统计方法来对检查过程的有效性进行监控
22/3/14 上海交通大学计算机系
26
结构化编程和净室软件开发 结构化编程和净室软件开发
在二十世纪 60 年代,软件变得越来越复杂而人记忆细节的能力是 有限的。因此,不可能去对软件的所有部分进行完全测试。测试所 能做的是证明错误的出现,而不是没有错误。 Dijkstra 建议保证软 件代码正确性的唯一方法是对代码重新审视。
复杂系统可以分成子部件,为了使这种分解工作正常,每个部件必 须自包含,同时只有一个进入点和一个退出点。
该观点进一步发展为 IBM 的净室软件开发,该方法将软件开发分为 三个小组:
分析小组
开发小组
校验小组
系统采用增量式方式开发,每个团队的产出都必须满足用户的需要。开 发小组不进行编译而代之以用数学方法来证明。校验小组不断的测试直 到满足特定的统计水平。
22/3/14 上海交通大学计算机系
27
形式化方法 形式化方法
数学方法采用的是对每一个过程定义前提条件和 后置条件。
前提条件定义了在处理前允许的状态,后置条件 定义了处理后的状态。由于数学方法是精确的,
因此可以保证其正确性。
22/3/14 上海交通大学计算机系
28
软件质量循环 软件质量循环
尽管测试方法和 Fagan 检查能够帮助发现问题,
但是相同类型的错误还是一犯再犯。
通过发现错误的来源,应该可以减少相同的错误
。
因而,开发人员可以在质量循环中参与错误来源 的查找,该过程称为软件质量循环( Software q uality circles, SWQC).
质量循环由四个到十个自愿者构成,每个星期采
用一定时间如一小时寻找、分析和处理他们工作
中的问题。
22/3/14 上海交通大学计算机系
29
软件质量循环 软件质量循环
识别一系列问题
选择一个问题加以处理
将问题分析清楚
分析原因并加以评价
分析解决方案并加以评价
决定采用某一解决方案
开发一个实施计划
将计划交给管理部门
实施计划
监控计划
考虑解决方案更广泛的应用
重新选择问题
问题:软件质量循环与一般的检查过程有何区别
一个是面向所有过程,一个是面向某一产品
22/3/14 上海交通大学计算机系
30
GQM GQM 方法 方法
过程改善可以采用定量测量技术来实现。
GQM(Goal/Question/Metric) 方法:
首先需要定义一个目标,该目标可能是评估是否一个新的编程语 言能够提高开发者的效率。
为了完成目标,可以提出许多问题,例如对于上述目标,问题可 以为:
目前开发者编程的速度有多快?
开发者利用新的编程语言有多快?
目前的软件质量如何?
利用新语言软件质量如何?
对每一个问题,可以定义度量方法,例如来度量开发速度可以根 据开发每一功能点花费的时间来进行。
22/3/14 上海交通大学计算机系