软件工程 第16章：软件质量.ppt

《软件工程 第16章：软件质量.ppt》由会员分享，可在线阅读，更多相关《软件工程 第16章：软件质量.ppt（47页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、软件工程软件工程Software Engineering2023/1/31广东工业大学计算机学院o软件质量作为软件工程学科的一部分，处于软件的软件质量作为软件工程学科的一部分，处于软件的生存周期中，应该有计划地、系统地应用软件工程生存周期中，应该有计划地、系统地应用软件工程的方法进行处理。的方法进行处理。o本章内容：本章内容：o16.1 软件质量概述软件质量概述o16.2 软件质量的度量和评价软件质量的度量和评价o16.3 软件质量保证软件质量保证o16.4 技术评审与审查技术评审与审查o16.5 软件的可靠性软件的可靠性2023/1/32广东工业大学计算机学院第第16章章 软件质量软件质量

2、o16.1软件质量概述软件质量概述 o16.1.1 软件质量的定义软件质量的定义o定义定义16-1（1）软件产品具备满足给定需求的特性及特征的总）软件产品具备满足给定需求的特性及特征的总体的能力。体的能力。（2）软件拥有所期望的各种属性组合的程度。）软件拥有所期望的各种属性组合的程度。（3）用户认为软件满足他们综合期望的程度。）用户认为软件满足他们综合期望的程度。（4）软件组合特性可以满足用户预期需求的程度。）软件组合特性可以满足用户预期需求的程度。2023/1/33广东工业大学计算机学院o16.1.2 软件质量特性软件质量特性o软软件件质质量量的的模模型型：把把软软件件质质量量特特性性定定义

3、义成成分分层层模模型型。在在这这种种分分层层的的模模型型中中，最最基基本本的的叫叫做做基基本本质质量量特性，它可以由一些子质量特性定义和度量。特性，它可以由一些子质量特性定义和度量。o1.McCall质量模型质量模型2023/1/34广东工业大学计算机学院pMcCall定义的软件质量模型定义的软件质量模型 2023/1/35广东工业大学计算机学院oMcCall质量度量模型质量度量模型 2023/1/36广东工业大学计算机学院o2.ISO的软件质量评价模型的软件质量评价模型2023/1/37广东工业大学计算机学院p16.1.3 16.1.3 软件质量特性之间的竞争软件质量特性之间的竞争p各质量特

4、性与质量子特性之间的关系各质量特性与质量子特性之间的关系 2023/1/38广东工业大学计算机学院p质量特性之间的有利和不利影响质量特性之间的有利和不利影响 其中，表示有利影响，表示不利影响 2023/1/39广东工业大学计算机学院p软件质量特性与质量子特性间的有利和不利影响软件质量特性与质量子特性间的有利和不利影响 2023/1/310广东工业大学计算机学院o16.2 软件质量的度量和评价软件质量的度量和评价o16.2.1 软件质量的度量软件质量的度量o定义定义16-2 软软件件质质量量度度量量是是对对软软件件所所具具有有的的影影响响其其属属性性所所进进行的定量测量行的定量测量 o软件质量度

5、量时必须满足的质量标准软件质量度量时必须满足的质量标准 o客观性：如果不存在来自测试者对度量的主观影响，客观性：如果不存在来自测试者对度量的主观影响，则度量是客观的。则度量是客观的。o可靠性：如果在重复度量中，在同样条件下达到相可靠性：如果在重复度量中，在同样条件下达到相同的效果，则认为度量是可靠的。同的效果，则认为度量是可靠的。o适用性：如果度量结果能够明确地说明质量特性时，适用性：如果度量结果能够明确地说明质量特性时，则可以说度量是适用的。则可以说度量是适用的。2023/1/311广东工业大学计算机学院o标准化：标准化是指必须有一个可以明确表示度量标准化：标准化是指必须有一个可以明确表示度

6、量结果的标度，当这个可比较的标度存在时，度量被结果的标度，当这个可比较的标度存在时，度量被认为是达到标准化的。认为是达到标准化的。o可比较性：当某项度量与其他度量相关时，则度量可比较性：当某项度量与其他度量相关时，则度量具有可比较性。具有可比较性。o经济性：当度量是在低成本下进行时，它是经济的。经济性：当度量是在低成本下进行时，它是经济的。度量的经济与否取决于度量过程的自动化程度和度度量的经济与否取决于度量过程的自动化程度和度量的数据量，使用工具可以大大改善软件度量的自量的数据量，使用工具可以大大改善软件度量的自动化水平。动化水平。o有效性：有效形式是最难证明的。但是不说明度量有效性：有效形式

7、是最难证明的。但是不说明度量标准是有效时，就不能客观的评价软件质量。标准是有效时，就不能客观的评价软件质量。2023/1/312广东工业大学计算机学院p16.2.2 软件质量度量的分类软件质量度量的分类o软件质量度量可以划分为过程度量和产品度量。软件质量度量可以划分为过程度量和产品度量。o1.过程度量过程度量,是度量开发过程和维护过程或开发环是度量开发过程和维护过程或开发环境的定量属性。例如，说明开发人员具有多少年的境的定量属性。例如，说明开发人员具有多少年的编程经验和开发过程的成本等。编程经验和开发过程的成本等。o2.产品度量产品度量,是度量产品的定量属性。产品度量不是度量产品的定量属性。产

8、品度量不涉及有关产品生产的任何方面或形成产品当前实际涉及有关产品生产的任何方面或形成产品当前实际状况的原因。产品度量包括度量产品的大小，如程状况的原因。产品度量包括度量产品的大小，如程序行数或程序中的符号数；结构的复杂性，如控制序行数或程序中的符号数；结构的复杂性，如控制流程、嵌套深度和递归深度等；数据结构的复杂性，流程、嵌套深度和递归深度等；数据结构的复杂性，包括使用的变量数和数据文件等产品的应用领域，包括使用的变量数和数据文件等产品的应用领域，如工资清单。也可能是以上各项的组合。如工资清单。也可能是以上各项的组合。2023/1/313广东工业大学计算机学院p16.2.3 16.2.3 软件

9、质量评价软件质量评价o软件质量评价采用软件复杂性度量软件质量评价采用软件复杂性度量。o复杂性度量包括静态度量和开发度量。复杂性度量包括静态度量和开发度量。o静态度量是在给定时间内测量软件产品的质量，它静态度量是在给定时间内测量软件产品的质量，它可以分为：可以分为：（1）软件产品的规模。）软件产品的规模。（2）软件产品程序控制结构的度量。）软件产品程序控制结构的度量。（3）数据结构的度量。）数据结构的度量。2023/1/314广东工业大学计算机学院p1.McCabe度量法度量法pMcCabe认为程序的复杂性很大程度上取决于程序认为程序的复杂性很大程度上取决于程序控制流的复杂性。单一的顺序程序结构

10、最简单，循控制流的复杂性。单一的顺序程序结构最简单，循环和选择所构成的环路越多，程序就越复杂。环和选择所构成的环路越多，程序就越复杂。pMcCabe度量步骤如下：度量步骤如下：p1）画程序图（a）程序流程图 （b）程序图2023/1/315广东工业大学计算机学院o2）计算线性无关环路数o根据图论理论，一个强连通的有向图中线性无关环根据图论理论，一个强连通的有向图中线性无关环路个数计算公式如下：路个数计算公式如下：oV(G)=e-n+1o其中：其中：V(G)：有向图：有向图G中的环路个数。中的环路个数。e：G的弧的条数。的弧的条数。n：G的节点数。的节点数。o对于一个正常的程序来说，应该能够从程

11、序图内的对于一个正常的程序来说，应该能够从程序图内的入口点到达任何一个节点，如果从出口点加一条指入口点到达任何一个节点，如果从出口点加一条指向入口点的弧，那么，程序图一定是一个强连通图。向入口点的弧，那么，程序图一定是一个强连通图。2023/1/316广东工业大学计算机学院p上图中程序图还不是强连通图，但是，加上一条从上图中程序图还不是强连通图，但是，加上一条从节点节点i到节点到节点A的弧后，就是一个强连通图了（图中的弧后，就是一个强连通图了（图中虚线）。此图（强连通图）的节点数为虚线）。此图（强连通图）的节点数为9，弧数为，弧数为11，其线性无关环路个数计算如下：，其线性无关环路个数计算如下

12、：pV(G)=11-9+1=3o这三个线性无关环路分别是：这三个线性无关环路分别是：abcia、defghd和和cdefgc。oV(G)还有两种计算方法。还有两种计算方法。o（1）通过计算程序图中所有有界区域和无界区域）通过计算程序图中所有有界区域和无界区域的个数得到。例如，图的个数得到。例如，图16-4中的程序图共有三个区中的程序图共有三个区域，所以域，所以V(G)=3。o（2）用判定语句总数加）用判定语句总数加1计算。这里约定，多分支计算。这里约定，多分支的判定为分支数减的判定为分支数减1；循环看成一个判定。；循环看成一个判定。2023/1/317广东工业大学计算机学院p2.Halstea

13、d软件复杂性度量方法软件复杂性度量方法p是是根根据据程程序序中中可可执执行行代代码码行行的的操操作作符符合合操操作作数数的的数数目来计算程序的复杂性。目来计算程序的复杂性。pn1：程序中的特殊算符的数量。：程序中的特殊算符的数量。pn2：程序中的特殊运算数的数量。：程序中的特殊运算数的数量。pN1：所有算符出现的总数。：所有算符出现的总数。pN2：所有运算数出现的总数。：所有运算数出现的总数。pn=n1+n2：在在程程序序中中不不同同符符号号的的数数（或或称称程程序序的的词汇标）。词汇标）。2023/1/318广东工业大学计算机学院oN=N1+N2：在程序中所有符号的总数（或称程：在程序中所有

14、符号的总数（或称程序长度）。序长度）。o程序容量也成为程序能力，定义为：程序容量也成为程序能力，定义为：oV=Nlog2noHalstead用用D来说明程序度量时的难度系数：来说明程序度量时的难度系数：oD=(n1N2)/(2n2)o其中，其中，D是词汇表和运算数数量的函数，是词汇表和运算数数量的函数，N2/n2是适用的运算数的平均数。是适用的运算数的平均数。2023/1/319广东工业大学计算机学院p16.3 16.3 软件质量保证软件质量保证o16.3.1 16.3.1 软件质量保证的概述软件质量保证的概述o1.软件质量保证（软件质量保证（SQA）采用一定的技术、方法和工具，来处理和调整软

15、件采用一定的技术、方法和工具，来处理和调整软件产品满足需求时的相互关系，以确保软件产品满足产品满足需求时的相互关系，以确保软件产品满足或超过在该产品的开发过程中所规定的标准。或超过在该产品的开发过程中所规定的标准。o2.质量保证系统（质量保证系统（QAS）提供质量保证措施和策略的总框架，包括机构的建提供质量保证措施和策略的总框架，包括机构的建立和发行过程，职责的分配及选择执行质量保证的立和发行过程，职责的分配及选择执行质量保证的工具。工具。p3.质量保证计划质量保证计划2023/1/320广东工业大学计算机学院p16.3.2 软件质量保证原则软件质量保证原则o（1）尽可能做到质量特征的具体化及

16、量化。）尽可能做到质量特征的具体化及量化。o（2）要找出每个阶段的具体质量特征。）要找出每个阶段的具体质量特征。o（3）针对具体产品和相应项目制定质量计划。）针对具体产品和相应项目制定质量计划。o（4）检查质量测试结果。）检查质量测试结果。o（5）进行各种质量评审。）进行各种质量评审。o（6）优化的建设性的质量保证。）优化的建设性的质量保证。o（7）尽早发现并改正错误和缺陷。）尽早发现并改正错误和缺陷。o（8）集中进行质量保证。）集中进行质量保证。o（9）独立的质量测试。）独立的质量测试。o（10）对所应用的软件质量保证措施的评价。）对所应用的软件质量保证措施的评价。2023/1/321广东工

17、业大学计算机学院p16.3.3 16.3.3 软件质量保证计划软件质量保证计划p（1）软件质量保证计划的用途。）软件质量保证计划的用途。o（2）参考文件。）参考文件。o（3）软件质量保证计划的管理。）软件质量保证计划的管理。o（4）软件质量文档。）软件质量文档。o（5）标准、规范和约定。）标准、规范和约定。o（6）评审和审计。）评审和审计。o（7）软件配置管理。）软件配置管理。o（8）存在的问题及修改的报告。）存在的问题及修改的报告。o（9）软件工程。）软件工程。o（10）编码控制。）编码控制。o（11）其他内容。）其他内容。2023/1/322广东工业大学计算机学院16.3.4 16.3.4

18、 软件质量保证的措施软件质量保证的措施o（1）制定计划和管理方面的质量保证措施。）制定计划和管理方面的质量保证措施。o（2）建设性的质量保证措施。）建设性的质量保证措施。o（3）分析的质量保证措施。）分析的质量保证措施。o（4）心理学方面的质量保证措施。）心理学方面的质量保证措施。2023/1/323广东工业大学计算机学院16.3.5 软件质量管理小组软件质量管理小组o（1）最适合提高个人能力和小组力量。）最适合提高个人能力和小组力量。o（2）能够在工程上比硬件更好地提高质量。）能够在工程上比硬件更好地提高质量。o（3）关系到提高积极性。）关系到提高积极性。2023/1/324广东工业大学计算

19、机学院16.4 技术评审与审查技术评审与审查o（1）软件需求评审。）软件需求评审。o（2）软件概要设计评审。）软件概要设计评审。o（3）软件详细设计评审。）软件详细设计评审。o（4）软件验证与确认的评审。）软件验证与确认的评审。o（5）功能审查。）功能审查。o（6）物理审查。）物理审查。o（7）综合审查。）综合审查。o（8）管理评审。）管理评审。2023/1/325广东工业大学计算机学院p16.4.1 16.4.1 评审过程评审过程o首先由一个独立的主席制定评审计划，规定测试目标和公开首先由一个独立的主席制定评审计划，规定测试目标和公开评审标准，并规定对评审对象进行测试的指标评审标准，并规定对

20、评审对象进行测试的指标。o评审前要举行协商会，使参加评审的人员对测试对象有一个评审前要举行协商会，使参加评审的人员对测试对象有一个总的概念和了解。协商会议后，紧接着的是，参加评审人总的概念和了解。协商会议后，紧接着的是，参加评审人员进行个人评审准备，在评审的完整文档中填写提问清单。员进行个人评审准备，在评审的完整文档中填写提问清单。评审会议中，首先由主席介绍搜集的所谓形式的错误记录，评审会议中，首先由主席介绍搜集的所谓形式的错误记录，然后，由软件开发者报告评审对象的概况。正式进行评审然后，由软件开发者报告评审对象的概况。正式进行评审时，参加评审的人员在文档作者指导下阅读文档。评审会时，参加评审

21、的人员在文档作者指导下阅读文档。评审会议结束时，参加人员提出评审结论。议结束时，参加人员提出评审结论。o接下去的工作是返工阶段。主席必须监督评审对象的错误修接下去的工作是返工阶段。主席必须监督评审对象的错误修改，写出错误报告摘要，并提供修改执行表。改，写出错误报告摘要，并提供修改执行表。o最后要进行评价，目标是确定是否完成了所有的修改。最后要进行评价，目标是确定是否完成了所有的修改。2023/1/326广东工业大学计算机学院16.4.2 选择参加评审的成员选择参加评审的成员o首先要寻找一个主席，建议从独立的质量保证部门首先要寻找一个主席，建议从独立的质量保证部门中选取。中选取。o选择了主席后，

22、由主席和测试对象的主持人共同选选择了主席后，由主席和测试对象的主持人共同选择其他参加成员。选择的成员应当包括具有专门知择其他参加成员。选择的成员应当包括具有专门知识，及在数据库和应用领域有长期经验的专家，被识，及在数据库和应用领域有长期经验的专家，被评审系统的可能用户及有能力并擅长用系统分析的评审系统的可能用户及有能力并擅长用系统分析的方法发现逻辑矛盾的人方法发现逻辑矛盾的人.o成成员员数数目目根根据据评评审审的的对对象象的的不不同同而而不不同同，建建议议做做规规范范评评审审时时为为58人人；做做总总体体设设计计评评审审时时为为6人人；做做详详细细设设计计评评审审时时为为5人人；做做编编码码评

23、评审审时时，只只需需要要4人。人。2023/1/327广东工业大学计算机学院p16.4.3 16.4.3 评审的管理和组织评审的管理和组织o（1）软件项目管理者参加的评审，管理者负责制）软件项目管理者参加的评审，管理者负责制订评审计划，召集评审小组开会，审查参加成员的订评审计划，召集评审小组开会，审查参加成员的资格，最后由他们决定评审对象是否通过。总之，资格，最后由他们决定评审对象是否通过。总之，由管理者支持实际的评审会议。由管理者支持实际的评审会议。o（2）模式是文档的作者主持评审，邀请评审小组）模式是文档的作者主持评审，邀请评审小组成员和主席。由评审小组来确定评审对象是否通过。成员和主席。

24、由评审小组来确定评审对象是否通过。最后由主席起草报告，说明结果。最后由主席起草报告，说明结果。2023/1/328广东工业大学计算机学院p16.4.4 评审的方法评审的方法o（1）评审概述。）评审概述。o（2）评审准备。）评审准备。o（3）评审错误表。）评审错误表。o（4）评审错误报告摘要。）评审错误报告摘要。o（5）管理报告。）管理报告。2023/1/329广东工业大学计算机学院16.4.5 走查和审查走查和审查o走查是评审过程中采用的一种方法走查是评审过程中采用的一种方法。o审查是一种正式的评定技术审查是一种正式的评定技术。2023/1/330广东工业大学计算机学院p16.4.6 16.4

25、.6 开发过程的评审开发过程的评审o1.项目评审项目评审o项目控制要解决的问题如下：项目控制要解决的问题如下：o（1）评审目组对于正在进行的项目任务是否了解。）评审目组对于正在进行的项目任务是否了解。o（2）项目任务是否需要修改。）项目任务是否需要修改。o（3）项目进度是否可定义和可测量。）项目进度是否可定义和可测量。o（4）目前的工作是否完成。）目前的工作是否完成。o（5）工作是否正确。）工作是否正确。o（6）是否为今后的工作奠定了基础。）是否为今后的工作奠定了基础。o（7）是否符合规定的标准和说明。）是否符合规定的标准和说明。o（8）是否符合计划确定的成本和时间。）是否符合计划确定的成本和

26、时间。2023/1/331广东工业大学计算机学院o项目评审成功的标准如下：项目评审成功的标准如下：o（1）项目成果是可以评审的，即可读和可）项目成果是可以评审的，即可读和可理解的。理解的。o（2）项目计划的制定和执行由一个确定的）项目计划的制定和执行由一个确定的小组来负责，该单位是很容易进行评审的。小组来负责，该单位是很容易进行评审的。o（3）具有确定目标的结构清晰的开发计划，）具有确定目标的结构清晰的开发计划，用它来评价项目进度。用它来评价项目进度。o（4）具有已经在技术评审中评价了的具备）具有已经在技术评审中评价了的具备清晰文档的项目成果。清晰文档的项目成果。2023/1/332广东工业大

27、学计算机学院o在在评评审审中中必必须须测测试试需需求求规规范范的的以以下下质质量量特特征征是是否否满满足：足：o（1）抗矛盾性。）抗矛盾性。o（2）完整性。）完整性。o（3）可执行性和可处理性。）可执行性和可处理性。o（4）精确性和可测试性。）精确性和可测试性。o（5）综合性。）综合性。2.需求规范的评审需求规范的评审2023/1/333广东工业大学计算机学院o3.设计的评审设计的评审o根根据据设设计计的的类类型型，可可以以分分为为总总体体设设计计评评审审和和详详细细审审计计评评审审。设设计计评评审审的的目目标标是是确确定定和和评评价价设设计计的的各各种种状状态态（特特征征的的完完整整性性）以

28、以及及发发现现错错误误的的矛矛盾盾，如如在在规范和设计或模块接口之间的矛盾。规范和设计或模块接口之间的矛盾。o4.编码检验编码检验o编编码码检检验验的的目目的的一一方方面面是是改改善善软软件件质质量量，另另一一方方面面是是为为了了提提高高程程序序员员的的生生产产率率。编编码码检检验验的的另另一一个个目目的的是是测测试试编编码码是是否否与与详详细细设设计计相相匹匹配配，如如评评审审编编码码是否符合程序结构和编码标准。是否符合程序结构和编码标准。2023/1/334广东工业大学计算机学院o在编码检验中可能检验的内容如下：在编码检验中可能检验的内容如下：o（1）测试程序的接口。）测试程序的接口。o（

29、2）检验程序结构。）检验程序结构。o（3）检验使用的变量或他们的名称。）检验使用的变量或他们的名称。o（4）计算公式的检验。）计算公式的检验。o（5）检验输入和输出。）检验输入和输出。o（6）指令检验。）指令检验。o（7）检验是否符合编码标准。）检验是否符合编码标准。2023/1/335广东工业大学计算机学院o5.测试评审测试评审o测试检验的目标是：测试检验的目标是：o（1）评价和修正测试案例。）评价和修正测试案例。o（2）检检查查测测试试是是否否正正确确地地执执行行，使使测测试试过过程程符符合合测试规定。测试规定。o（3）在每个模块的接口规范中发现故障。）在每个模块的接口规范中发现故障。o（

30、4）讨论每个测试是否成功。）讨论每个测试是否成功。2023/1/336广东工业大学计算机学院p16.4.7 16.4.7 对评审的综合评价对评审的综合评价o1.评审的优点评审的优点o（1）评审复杂情况时的分析、识别、评价和测试）评审复杂情况时的分析、识别、评价和测试等方面充分发挥人们的思维能力。等方面充分发挥人们的思维能力。o（2）评审不仅适用于检验正式的文档，如程序清）评审不仅适用于检验正式的文档，如程序清单，也适用于非正式的文档，如口头的设计说明等。单，也适用于非正式的文档，如口头的设计说明等。o（3）用评审方式检查程序是具有很高的成功率的。）用评审方式检查程序是具有很高的成功率的。202

31、3/1/337广东工业大学计算机学院o2.评审的缺点评审的缺点o（1）评审的成功完全依赖于参加评审的人员，他）评审的成功完全依赖于参加评审的人员，他们的原则性是至关重要的。们的原则性是至关重要的。o（2）交流的气氛对于发挥人们的思考和分析能力）交流的气氛对于发挥人们的思考和分析能力是很重要的。是很重要的。o（3）解决问题可能占用有价值的评审时间，以至）解决问题可能占用有价值的评审时间，以至于不能发现更多的错误。于不能发现更多的错误。o（4）存在着评价工作人员的可能，这将使检查过）存在着评价工作人员的可能，这将使检查过程的有效性降低。程的有效性降低。o（5）评审对开发过程的重要性往往被低估了。）

32、评审对开发过程的重要性往往被低估了。2023/1/338广东工业大学计算机学院p16.5 16.5 软件的可靠性软件的可靠性o（1）在规定的条件下，在规定的时间内，软件不）在规定的条件下，在规定的时间内，软件不引起系统失败的概率，该概率是系统输入和系统使引起系统失败的概率，该概率是系统输入和系统使用的函数，也是软件中存在的错误的函数。系统输用的函数，也是软件中存在的错误的函数。系统输入将确定是否会遇到已存在的错误。入将确定是否会遇到已存在的错误。o（2）在规定的时间周期内，在所述条件下程序执）在规定的时间周期内，在所述条件下程序执行所要求的功能的能力。行所要求的功能的能力。2023/1/339

33、广东工业大学计算机学院16.5.1软件可靠性的概念软件可靠性的概念o制制造造问问题题、设设计计错错误误、元元器器件件过过载载、机机械械磨磨损损等等原原因因会会导导致致硬硬件件故故障障。这这些些故故障障有有些些是是确确定定的的，有有些些是是随随机机的的。硬硬件件故故障障可可以以追追查查到到某某一一个个元元器器件件的的失失效或选用不当。效或选用不当。o软软件件除除了了磨磨损损故故障障外外，其其他他几几种种类类似似的的故故障障都都有有可可能能出出现现。在在系系统统测测试试过过程程中中，一一旦旦发发现现故故障障必必须须查查明原因，采取相应措施将其排除。明原因，采取相应措施将其排除。o大大型型软软件件是

34、是复复杂杂的的逻逻辑辑产产品品，采采用用枚枚举举技技术术不不可可能能对对程程序序运运行行的的所所有有路路径径逐逐个个进进行行测测试试。投投入入使使用用的的软件很可能残留一定数量的错误。软件很可能残留一定数量的错误。o某某些些初初始始条条件件和和输输入入数数据据可可能能导导致致程程序序运运行行失失效效，出现所谓出现所谓“软件故障软件故障”。2023/1/340广东工业大学计算机学院软件可靠性软件可靠性软软件件可可靠靠性性 在在某某个个给给定定时时间间间间隔隔内内，程程序序按按照照规规格格说说明成功运行的概率明成功运行的概率令令 随机变量随机变量 t表示程序发生故障的时刻表示程序发生故障的时刻 t

35、0,)f(t)表示表示t的概率密度函数的概率密度函数F(t)表表示示分分布布函函数数，P(0tt1)表表示示从从初初始始时时刻刻到到t1时刻程序发生故障的概率。时刻程序发生故障的概率。设初始时刻程序工作正常，设初始时刻程序工作正常，F(0)=0于是，于是，F(t),f(t)满足满足f(t)=dF(t)/dt (161)从从0时刻开始，到时刻开始，到t1时刻为止程序发生故障的概率时刻为止程序发生故障的概率Pf(t1)=P(0tt1)F(t1)-F(0)=F(t1)2023/1/341广东工业大学计算机学院软件可靠性软件可靠性同同一一时时刻刻程程序序成成功功运运行行和和发发生生故故障障是是两两个个

36、互互斥斥事事件件，0,t区区间间程程序序成成功功运运行行的的概概率率Ps(t)和和发发生生故故障障的的概率概率Pf(t)满足满足Ps(t)+Pf(t)=1 (162)可靠性可靠性 程序成功运行的概率程序成功运行的概率Ps(t),用用R(t)标记标记 R(tR(t)=)=Ps(tPs(t)=1-)=1-Pf(tPf(t)=1-)=1-F(tF(t)当当软软件件残残留留错错误误数数量量一一定定时时，程程序序运运行行时时间间越越长长，程程序发生故障的次数越多，软件可靠性越小。序发生故障的次数越多，软件可靠性越小。2023/1/342广东工业大学计算机学院软件可靠性软件可靠性故故障障率率函函数数Z(t

37、Z(t)比比较较程程序序在在不不同同的的时时期期，或或若若干干个个程程序序在在同同一一时时期期软软件件的的可可靠靠性性，假假设设tt1,t1+t,系系统统一一直直成成功运行至时刻功运行至时刻t,P(t1tt1+t,tt1)是是系系统统在在t1,t1+t出出现现故故障障的的概概率率，于是于是t1时刻故障率函数的值定义为时刻故障率函数的值定义为Z(t1)limP(t1tt1+t,tt1)/t (163)tt0可以证明可以证明Z(t)=1/R(t)dF(t)/dt (164)将将 dF(t)/dt=-dR(t)/dt代入上式代入上式dR(t)/R(t)-Z(t)dt (165)对对上上式式两两边边积

38、积分分并并利利用用初初始始条条件件 R(0)=1,得得可可靠靠性性和和故故障障率率的的基本方程基本方程R(t)=exp-Z(x)dx (166)2023/1/343广东工业大学计算机学院几个常用的故障模型几个常用的故障模型(1)故障率为常数的可靠性模型故障率为常数的可靠性模型 Z(t)=Z(t)为为一一个个复复杂杂的的函函数数，很很难难计计算算。为为了了简简化化，将将它它取取常常数数。表表示示单单位位时时间间内内程程序序运运行行的的故故障障率率函函数数为常数为常数代入代入 (166)式式(167)它的可靠性随它的可靠性随t的增加呈指数衰减的增加呈指数衰减。2023/1/344广东工业大学计算机

39、学院几个常用的故障模型几个常用的故障模型(2)Z(t)=kt，其中其中k是常数，是常数，t0当当耗耗损损或或退退化化存存在在时时，故故障障率率将将随随时时间间的的流流逝逝而而线线性性增加，这种模型一般不适用于软件产品。增加，这种模型一般不适用于软件产品。代入代入(1616)式得式得(168)硬件和软件产品的故障率函数不会如此简单硬件和软件产品的故障率函数不会如此简单。2023/1/345广东工业大学计算机学院小结小结o本章主要介绍了软件质量。阐述了软件质量的概念，本章主要介绍了软件质量。阐述了软件质量的概念，介绍了介绍了McCall模型和模型和ISO的软件质量评价模型，的软件质量评价模型，并分

40、析了软件质量特性之间的竞争。接着，为读者并分析了软件质量特性之间的竞争。接着，为读者详细介绍了两个传统的软件复杂性度量方法以作软详细介绍了两个传统的软件复杂性度量方法以作软件评价，分别为件评价，分别为McCabe度量法和度量法和Halstead软件软件复杂性度量法。并介绍讲述了软件质量保证的概念。复杂性度量法。并介绍讲述了软件质量保证的概念。而且为大家详细讲述了在技术评审与审查中的过程、而且为大家详细讲述了在技术评审与审查中的过程、安排、步骤和方向。最后，详细解析了软件可靠性安排、步骤和方向。最后，详细解析了软件可靠性的概念。的概念。2023/1/346广东工业大学计算机学院 谢谢谢谢2023/1/347广东工业大学计算机学院