第15章软件度量解析.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2.软件相邻两次故障的平均时间间隔估算 软件相邻两次故障的平均时间间隔(MTBF)是软件可靠性度量的重要参数，下面介绍几种估算MTBF的方法。 ⑴软件故障率是常数 当软件故障率λ是常数时，实践中经常用程序运行H小时，出现的故障数r进行估算λ ≈ r／H. 于是，软件相邻两次故障的平均时间间隔可用下式估算 MTBF = 1／λ = H／r (15- 52) MTBF的值与程序测试和排错时间τ有关。绘出MTBF随τ变化的曲线可以帮助分析软件质量的改进程度 * 国防科技大学计算机学院 * 软件相邻两次故障的平均时间间隔估算 ( 2 ) 软件故障率与程序残留缺陷数成正比 设 τ为程序调试、排错时间 ET为程序调试前残留缺陷总数 Ec (τ)为［0,τ］区间内纠正的程序缺陷数 Er (τ)为程序在τ时刻残留的缺陷数 IT 为程序代码长度 于是，E T 、E r (τ)、 E c (τ) 满足 E r (τ) = E T – E c (τ) (15-53) 用IT除以上式两边， 令 εr(τ) = E r (τ)／IT ， εT = E T／IT ， εc(τ) = E c (τ)／IT 于是 εr(τ) = εT – εc(τ) (15-54) * 国防科技大学计算机学院 * 软件相邻两次故障的平均时间间隔估算 利用式 (15- 51) 或其他方法可以估算程序在初始时刻残留的缺陷数ET，在软件调试过程中可以统计出［0,τ］时间间隔内排除的程序中的缺陷数Ec(τ)和程序长度IT。 利用εT,εc(τ)的定义和式(15- 53)可以计算出εr(τ)的值。 当软件故障率λ = λ(τ)与程序中残留的缺陷数成正比时 λ=kεr(τ)=k(εT－εc(τ)) (15- 55) 其中k为比例因子，可以通过实验测试和最大似然原理估算。下面给出估算k的计算公式，对推导感兴趣的读者请参阅［16］ * 国防科技大学计算机学院 * 软件相邻两次故障的平均时间间隔估算 进行m次软件排错试验，时间区间是［0,τj］,在τj时刻排除程序中残留的缺陷数为 在［0,τj］区间内，程序运行Hj小时，出现r j个缺陷，j=1,2,...,m。于是k的估算为 (15- 56) 当m=1时 (15- 57) 当m=2时 (15- 58) * 国防科技大学计算机学院 * 软件相邻两次故障的平均时间间隔估算 利用式(15-52)估算的MTBF是τ的函数，随着软件测试、软件维护工作的不断深入,程序中残留缺陷不断减少，故障率不断降低,程序平均故障时间MTBF不断增加，理想的情况程序中残留缺陷数为零，MTBF为无穷大。当然，对于大型软件来说这是不现实的。对确定的τ值，kεr(τ) 是常数，于是［0,τ］区间的程序可靠性估算为 R(t)= exp(-k(τ)t) (15- 59) = exp(-t/MTBF) 公式(15- 59)出现t和τ两个时间参数，通常τ以月计，［0,τ］表示对程序调试、维护的时间间隔。t∈［0,τ］以小时计,表示程序运行时间。 * 国防科技大学计算机学院 * 软件可靠性度量 我们讨论了软件可靠性、有效性的基本概念、度量和估算方法。 为软件系统建立可靠性度量模型需要仔细收集系统的正常运行、失效、修复过程中的时间数据。 直接应用已经建立的软件可靠性度量模型不能有效地用于任意环境下运行的所有软件系统。 必须在软件运行环境中采集大量，或全部软件失效的时间数据。 没有发布的系统必须在系统模拟的运行环境中进行可靠性测试，在此过程中借助软件工具和数理统计技术选择模型、确定参数，提高可靠性预测的准确性。 * 国防科技大学计算机学院 * 15.6制定软件度量大纲的方法和工具 15.6.1制定软件度量大