1、利用Shooman模型估算程序中原来错误总量ET -瞬间估算
  
所以,
��若设T是软件总的运行时间,M是软件在这段时间内的故障次数,则
�������T�MM = 1�Mλ= MTTF
��现在对程序进行两次不同的互相独立的功能测试,相应检错时间τ1 <τ2,检出的错误数Ec (τ1 ) < Ec (τ2 ),则有
��解上述方程组,得到ET的估计值和K的估计值。
 
��