第7章 软件质量与质量保证.pptVIP

第10章 软件质量与质量保证 软件工程课件讲稿--肖浩 10.1 软件质量的概念 软件质量的定义 (1) 与所确定的功能和性能需求的一致性。 (2) 与所成文的开发标准的一致性。 (3) 与所有专业开发的软件所期望的隐含特性的一致性。 影响软件质量的因素 (1) 可以直接度量的因素，如单位时间内千行代码（KLOC）中产生的错误数。 (2) 只能间接度量的因素，如可用性或可维护性。 在软件开发和维护的过程中，为了定量地评价软件质量，必须对软件质量特性进行度量，以测定软件具有要求质量特性的程度。 什么是软件质量保证 软件的质量保证就是向用户及社会提供满意的高质量的产品，确保软件产品从诞生到消亡为止的所有阶段的质量的活动，即确定、达到和维护需要的软件质量而进行的所有有计划、有系统的管理活动。 质量保证的策略 (1) 以检测为重。产品制成后才进行检测，这种检测只能判断产品的质量，不能提高产品质量。 (2) 以过程管理为重。把质量保证工作重点放在过程管理上，对制造过程的每一道工序都进行质量控制。 (3) 以新产品开发为重。 质量保证的主要任务 (1) 正确定义用户要求。 (2) 技术方法的应用。 (3) 提高软件开发的工程能力。 (4) 软件的复用。 (5) 发挥每个开发者的能力。 (6) 组织外部力量协作。 (7) 排除无效劳动。最大的无效劳动是因需求规格说明有误、设计有误而造成的返工。 (8) 提高计划和管理质量。 质量保证与检验 软件质量必须在设计和实现过程中加以保证。 10.2 质量度量模型 McCall质量度量模型 ISO的软件质量评价模型 10.3 软件复杂性 软件复杂性的基本概念 (1) 规模，即总共的指令数，或源程序行数。 (2) 难度，通常由程序中出现的操作数的数目所决定的量来表示。 (3) 结构，通常用于程序结构有关的度量来表示。 (4) 智能度，即算法的难易程度。 软件复杂性主要表现在程序的复杂性。程序的复杂性主要指模块内程序的复杂性。它直接关联到软件开发费用的多少、开发周期长短和软件内部潜伏错误的多少。同时它也是软件可理解性的另一种度量。 软件复杂性的度量方法--代码行度量法 度量程序的复杂性，最简单的方法就是统计程序的源代码行数。此方法的基本考虑是统计一个程序的源代码行数，并以源代码行数作为程序复杂性的质量。 软件复杂性的度量方法--McCabe度量法 McCabe度量法是由Thomas McCabe提出的一种基于程序控制流的复杂性度量方法。McCabe复杂性度量又称环路度量。它认为程序的复杂性很大程度上取决于程序的复杂性。单一的顺序结构最为简单，循环和选择所构成的环路越多，程序就越复杂。这种方法以图论为工具，先画出程序图，然后用该图的环路数作为程序复杂性的度量值。程序图是退化的程序流程图。也就是说，把程序流程图的每一个处理符号都退化成一个结点，原来连接不同处理符号的流线变成连接不同结点的有向弧，这样得到的有向图就叫做程序图。 软件复杂性的度量方法--McCabe度量法 软件复杂性的度量方法--McCabe度量法 根据图论，在一个强连通的有向图G中，环的个数V(G)由以下公式给出： V(G)=m-n+2p 其中，V(G)是有向图G中环路数，m是图G中弧数，n是图G中结点数，p是图G中强连通分量个数。在一个程序中，从程序图的入口点总能到达图中任何一个结点，因此，程序总是连通的，但不是强连通的。为了使图成为强连通图，从图的入口点到出口点加一条用虚线表示的有向边，使图成为强连通图。这样就可以使用上式计算环路复杂性了。 以图4-11所给出的例子示范，其中，结点数n=6,弧数m=9,p=1，则有 V(G=m-n+2p=9-6+2=5 即McCabe环复杂度度量值为5。这里选择的5个线形无关环路为(abefa),(beb),(abea),(acfa),(abcfa),其他任何环路都是这5个环路的线性组合。 McCabe度量法的缺点 ①对于不同种类的控制流的复杂度不能区分。 ②简单IF语句与循环语句的复杂性同等看待。 ③嵌套IF语句与简单CASE的复杂性是一样的。 ④模块间接口当成一个简单分支一样处理。 ⑤一个具有1000行的顺序程序与一行语句的复杂性相同。 尽管McCabe复杂度度量法有许多缺点，但它容易使用，而且在选择方案和估计排错费用等方面都是很有效的。 10.4 软件可靠性 软件可靠性定义 软件可靠性定义表明了一个程序按照用户的要求和设计的目标，执行其功能的正确程度。一个可靠的程序应要求是正确的、完整的、一致的和健壮的。 即：在给定的时间内，程序按照规定的条件成功地运行的概率。 软