软件可靠性评估

《软件可靠性评估》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、软件可靠性工程基础——软件可靠性评估北京航空航天大学可靠性与系统工程学院目的理解什么是软件可靠性评估，基本原理掌握和应用典型的软件可靠性模型了解比较软件可靠性模型的主要方法理解稳定使用阶段的软件可靠性评估理解增长测试中的软件可靠性评估2内容1.软件可靠性评估概述2.软件可靠性评估模型3.模型预计的有效性4.稳定使用阶段的软件可靠性评估5.增长测试中的软件可靠性评估31软件可靠性评估概述4何为软件可靠性评估国家标准GB11457（软件工程术语）软件可靠性评估（softwarereliabilityassessment）或软件可靠性评价（softwarereliabilityeva

2、luation）是指“确定现有系统或系统部件可靠性所达到的水平的过程”国际标准IEEEStd.1633（IEEERecommendedPracticeonSoftwareReliability）软件可靠性评估（softwarereliabilityevaluation）被定义为“统计学技术在系统测试和运行期间收集的可观测失效数据上的应用，用于评价软件的可靠性”因此，二者的定义均认为，软件可靠性评估是在获得了软件的失效数据之后对软件可靠性水平的定量估计和评价。5评估的原理失效率测量到的可靠性值拟合的可靠当前性模型曲线水平要求的可靠性测试运行时间当前测试时间达到要求的可靠性的预计时间评估的准

3、确与否取决于什么？62软件可靠性评估模型7模型概述基于模型的软件可靠性评估基本原理是：对软件可靠性测试中或实际使用中收集的失效数据，利用统计知识分析其规律，建立一个参数模型，在软件可靠性数据的基础上对该统计分布的参数进行估计，从而在此模型基础上对软件的可靠性进行定量估计或评价。8呈指数分布的NHPP模型——Jelinski-Moranda模型9Jelinski-Moranda模型—概述模型概述该模型是由Jelinski、Moranda于1972年开发的可靠性模型，是最早建立的软件可靠性模型之一，曾用于麦克唐奈道格拉斯海军工程中。该模型以一种简便和合乎直觉的方式表明如何根据软件缺陷的显

4、露历程来预计未来软件可靠性的行为，它包含软件可靠性建模中若干典型和最主要的假设，因而引发出后来的许多种变形。事实上，现有大多数软件可靠性模型要么可认为是其变形或扩展，要么与其密切相关。该模型对软件可靠性定量分析技术的建立和发展做出了重要的贡献，是软件可靠性研究领域的第一个里程碑。10Jelinski-Moranda模型-假设与数据要求假设与数据要求程序中的固有错误数N0是一个未知的常数；程序中的各个错误是相互独立的，每个错误导致系统发生失效的可能性大致相同，各次失效间隔时间也相互独立；测试过程中检测到的错误，都被排除，每次排错只排除一个错误，排错时间可以忽略不计，在排错过程中不引入

5、新的错误；程序的失效率在每个失效间隔时间内是常数，其数值正比于程序中残留的错误数，在第i个测试区间，其失效率函数为Z(x)(Ni1)i011Jelinski-Moranda模型-假设与数据要求λZ(x)(Ni1)i0x1x2x3x4x5t0t1t2t3t4t图7-1失效率变化曲线错误以相等的可能发生，且相互独立，错误检测率正比于当前程序中的错误数；软件的运行方式与预期的运行方式相似。12Jelinski-Moranda模型-构造与参数估计模型的构造与参数估计在假设的基础上，运用可靠性工程学的基本理论，以第i－1次失效为起点的第i次失效发生的时间xi是一个随机变量，

6、它服从以Zx()为参数的指数分布，其密度函数为if(xi)(N0i1)exp(N0i1)xi其分布函数为xiF(xi)f(xi)dxi1exp(N0i1)xi0其可靠性函数为R(xi)1F(xi)exp(N0i1)xi13Jelinski-Moranda模型-构造与参数估计假设总共发生n个失效，似然函数为nnL(x1,,xn)f(xi)(N0i1)exp(N0i1)xii1i1对上式两边取对数，得nnlnL(x1,,xn)lnf(xi)(ln(N0i1)(N0i1

7、)xi)i1i1则模型参数的极大似然法估计值是以下方程组的解^n^nnN(xi)(i1)xii1i1n1n^^nni1N(i1)N(1/x)((i1)x)iii1i114Jelinski-Moranda模型可靠性预计^^^^(Nn)x(Nn)xRn1(x)R(x

8、tn)eFn1(x)1Rn1(x)1edR(x)^