错误总数的估算方法

1、可靠性与故障总数估算的方法在软件测试过程中，利用测试的统计数据， 估算软件的可靠性， 对控制软件的质量有一定的 指导作用。本文转自软件测试一书。MTTF。MTTF估算公式1、推算错误的产生频度估算错误产生的频度的一种方法是估算平均失效等待时间（Shooman 模型）是MTTF =其中，K是一个经验常数，美国一些统计数字表明，K的典型值是200 ； Et是测试之前程序中原有的故障总数；It是程序长度（机器指令条数或简单汇编语句条数）；t是测试（包括排错）的时间；Ec 是在0t期间内检出并排除的故障总数。公式的基本假定是：单位（程序）长度中的故障数Et /T近似为常数，它不因测试与排错而改变。统计

2、数字表明，通常Et /T值的变化范围在0.5 X10-22X 10-2之间；故障检出率正比于程序中 残留故障数，而 MTTF与程序中残留故障数成反比；故障不可能完全检出，但一经检出立 即得到改正。设Ec（ t ）是0t时间内检出并排除的故障总数，t是测试时间（月），则在同一段时间0T内的单条指令累积规范化排除故障数曲线 c （t ）为： C （ T ） = Ec （t ） / It这条曲线在开始呈递增趋势，然后逐渐和缓，最后趋近于一水平的渐近线Et/ It。利用公式的基本假定：故障检出率（排错率）正比于程序中残留故障数及残留故障数必须大于零， 经过推导得：这就是故障累积的 S型曲线模型,(T累

3、积故障数 ce2、估算软件中故障总数Et的方法利用Shooman模型估算程序中原来错误总量Et瞬间估算MTTF若设T是软件总的运行时间，M是软件在这段时间内的故障次数， 则T / M = 1 /入=MTTF现在对程序进行两次不同的互相独立的功能测试，相应检错时间T 1 T 2,检出的错误数Ec ( T 1 ) 解上述方程组，得到 Et的估计值。g 仁）入】-EblkHyman分别测试法由两个测试员同时互相独立地测试同一程序的两个副本，用t表示测试时间（月），记t =0时，程序中原有故障总数是 Bo； t = t1时，测试员甲发现的故障总数是Bi;测试员乙发现的故障总数是B2；其中两人发现的相同

4、故障数目是be；两人发现的不同故障数目是bi。在大程序测试时，头几个月所发现的错误在总的错误中具有代表性，两个测试员测试的结果应当比较接近，bi不是很大。这时有如果bi比较显著，应当每隔一段时间，由两个测试员再进行分别测试，分析测试结果，估算B。如果bi减小，或几次估算值的结果相差不多，则可用Bo作为程序中原有错误总数Et的估算值。在软件开发的过程中，利用 测试的统计数据，估算软件的可靠性，以控制软件的质量是至关重要的。（1）推测错误的产生频度估算错误产生频度的一种方法是估算平均失效等待时间MTTF（ Mean Time To Failure ）。MTTF估算公式（Shooman模型）是其中，

5、K是一个经验常数，美国一些统计数字表明，K的典型值是200 ；ET是测试之前程序中原有的故障总数；IT是程序长度（机器指令条数或简单汇编语句条数）；t是测试(包括排错)的时间;EC 是在0t期间内检出并排除的故障总数。公式的基本假定是：单位(程序)长度中的故障数ET/ IT近似为常数，它不因测试与排错而改变。统计数字表明，通常ET/ IT值的变化范围在 0.5 X10-22X10-2之间；故障检岀率正比于程序中残留故障数，而MTTF与程序中残留故障数成正比；故障不可能完全检岀，但一经检岀立即得到改正。下面对此问题做一分析：设EC ( T是0T时间内检出并排除的故障总数，T是测试时间(月 )，则

6、在同一段时间0T内的单条指令累积规范化排除故障数曲线C ( T为: C ( T)= EC ( t) / IT这条曲线在开始呈递增趋势，然后逐渐和缓，最后趋近于一水平的渐近线 ET/ IT利用公式的基本假定： 故障检岀率(排错率)正比于程序中残留故障数及残留故障数必须大于零，经过推导得：这就是故障累积的S型曲线模型，参看图5.19图5.19故障累积曲线与故障检出曲线故障检出曲线服从指数分布，亦在图5.19中显示。(2)估算软件中故障总数ET的方法MTTF-所以, 若设T是软件总的运行时间， M是软件在这段时间内的故障次数，则T/M = 1 / 入=MTTF现在对程序进行两次不同的互相独立的功能测

7、试，相应检错时间T 1 T检出的错误数 EC ( T 1 ) EC(T 2,)则有MTTFMTTF,I h丄I解上述方程组，得到 ET的估计值和K的估计值。E E止J%】-EckJ心 = ; ;利用植入故障法估算程序中原有故障总数 ET捕获-再捕获抽样法若设NS是在测试前人为地向程序中植入的故障数(称播种故障)， nS是经过一段时间测试后发现的 播种故障的数目，nO是在测试中又发现的程序原有故障数。 设测试用例发现植入故障和原有故障的能力相 同，则程序中原有故障总数 ET的估算值为5在此方法中要求对播种故障和原有故障同等对待，因此可以由对这些植入的已知故障一无所知的测试 专业小组进行测试。这种

8、对播种故障的捕获再捕获的抽样方法显然需要消耗许多时间在发现和修改播种故障上，这会影 响工程的进度，而且要想使植入的故障有利于精确地推测原有的故障数，如何选择和植入这些播种故障也 是一件很困难的事情。为了回避这些难点，就有了下面不必埋设播种故障的方法。Hyman分别测试法这是对植入故障法的一种补充。由两个测试员同时互相独立地测试同一程序的两个副本，用t表示测试时间（月），记t = 0时，程序中原有故障总数是 B0； t = t1时，测试员甲发现的故障总数是 B1;测试 员乙发现的故障总数是 B2 ;其中两人发现的相同故障数目是 be；两人发现的不同故障数目是 bio在大程序测试时，头几个月所发现的错误在总的错