软件质量与可靠性.ppt

软件的质量保证就是向用户及社会提供满意的高质量的产品，确保软件产品从诞生到消亡为止的所有阶段的质量的活动，即确定、达到和维护需要的软件质量而进行的所有有计划、有系统的管理活动。02什么是软件质量保证0111.1.3软件质量保证质量方针的制定质量保证方针和质量保证标准的制定质量保证体系的建立和管理明确各阶段的质量保证工作各阶段的质量评审确保设计质量重要质量问题的提出与分析总结实现阶段的质量保证活动主要功能：软件质量保证的内容主要包括：审查、开发方法、配置控制与程序测试的综合应用。在“软件开发规范”的指导下，对于软件计划和开发时期各个阶段的工作都要进行复审；每个阶段产生的文档都必须严格管理，以确保文档和程序的完整性与一致性；最后要对程序进行不同类型的测试。2.软件质量保证的内容以检测为重。产品制成后才进行检测，这种检测只能判断产品的质量，不能提高产品质量。以过程管理为重。把质量保证工作重点放在过程管理上，对制造过程的每一道工序都进行质量控制。以新产品开发为重。质量保证的策略质量保证的主要任务正确定义用户要求。技术方法的应用。提高软件开发的工程能力。软件的复用。发挥每个开发者的能力。组织外部力量协作。排除无效劳动。最大的无效劳动是因需求规格说明有误、设计有误而造成的返工。提高计划和管理质量。质量保证与检验软件质量必须在设计和实现过程中加以保证。11.2质量度量模型2.1McCall质量度量模型这是McCall等入于1979年提出的软件质量影响模型.针对面向软件产品的运行,修正,转移,软件质量概念包括11个特性,其定义如下:

(1)面向软件产品操作.

???正确性;可靠性;效率;完整性;可用性

(2)面向软件产品修改.

???可维护性;可测试性;适应性

(3)面向软件产品适应.

???可移植性;可重用性;可互操作性;主要评价准则如下：可跟踪性;完备性;一致性;???安全性;容错性;准确性;可审查性;可操作性;可训练性;简洁性;简明性;模块性;自描述性;通用性;可扩充性;硬件独立性;通信共用性;.数据共用性

11.2.2ISO的软件质量评价模型11.3软件复杂性3.1软件复杂性的基本概念规模，即总共的指令数，或源程序行数。难度，通常由程序中出现的操作数的数目所决定的量来表示。结构，通常用于程序结构有关的度量来表示。智能度，即算法的难易程度。软件复杂性主要表现在程序的复杂性。程序的复杂性主要指模块内程序的复杂性。它直接关联到软件开发费用的多少、开发周期长短和软件内部潜伏错误的多少。同时它也是软件可理解性的另一种度量。为了度量程序复杂性,要求复杂性度量满足以下假设:用来计算任何一个程序的复杂性.合理的程序,例如对于长度动态增长的程序,或者对于原则上无法排错的程序,不应当使用它进行复杂性计算.程序中指令条数,附加存储量,计算时间增多,不会减少程序的复杂性.3.2软件复杂性的度量方法代码行度量法.度量程序的复杂性，最简单的方法就是统计程序的源代码行数。此方法的基本考虑是统计一个程序的源代码行数，并以源代码行数作为程序复杂性的质量。每100行元程序中可能存在0.04-7个错误。每行代码的出错率与源程序的行数不存在简单的线性关系代码行度量法是一个简单、估计得很粗粗糙的方法。McCabe度量法是由ThomasMcCabe提出的一种基于程序控制流的复杂性度量方法。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