[发明专利]一种考虑检测效用及修正效用的软件可靠性检测方法

权利要求书

1.一种考虑检测效用及修正效用的软件可靠性检测方法，其特征在于：

(1)检测软件的运行时间t；

(2)采集故障检测效用W_d(t)，故障修正效用W_c(t)，表示t时刻的累计测试效用W(t)＝W_d(t)+W_c(t)；

(3)计算检测效用占总体测试效用的比例β，W_d(t)＝βW(t)，W_c(t)＝(1-β)W(t)；

(4)采集t时刻的累计故障检测数m_d(t)；软件故障总数；故障检测率b(t)，b(t)表示t时刻单位时间内每个故障被检测到的平均概率，

$\frac{{\mathrm{dm}}_d\left(t\right)}{dt}=b\left(t\right)(a-m_d(t\left)\right);$

(5)采集在t时刻投入的故障检测效用w_d(t)，b(t)＝r×w_d(t)，r为每单位检测效用的故障检测率，

$\frac{{\mathrm{dm}}_d\left(t\right)}{dt}\frac{1}{w_d\left(t\right)}=r(a-m_d(t\left)\right);$

(6)采集t时刻的累计故障检测数m_d(t)；t时刻的累计故障修正数m_c(t)；故障修正率p(t)，p(t)表示t时刻单位时间内每个已检测到故障被正确修正的概率，

$\frac{{\mathrm{dm}}_c\left(t\right)}{dt}=p\left(t\right)\left(m_d\right(t)-m_c(t\left)\right);$

(7)采集在t时刻投入的故障修正效用w_c(t)，p(t)＝u×w_c(t)，u为每单位修正效用的故障检测率，

$\frac{{\mathrm{dm}}_c\left(t\right)}{dt}\frac{1}{w_c\left(t\right)}=u\left(m_d\right(t)-m_c(t\left)\right);$

(8)初始时刻：m_d(0)＝0，m_c(0)＝0，

$m_d\left(t\right)=a(1-e^{-{\mathrm{rW}}_d^{*}\left(t\right)}),$

$m_c\left(t\right)=e^{-{\mathrm{uW}}_c^{*}\left(t\right)}\[{\mathrm{ae}}^{{\mathrm{uW}}_c^{*}\left(t\right)}-ua{\∫}_0^t{w}_c\left(t\right)\exp (-{\mathrm{rW}}_d^{*}(t)+{\mathrm{uW}}_c^{*}(t\left)\right)dt+C\],$

其中，W_d^*(t)＝W_d(t)-W_d(0)，W_c^*(t)＝W_c(t)-W_c(0)，

检测得：

$m_c\left(t\right)=a\×\left\{1-\frac{u(1-\mathrm{\β})e^{\[-{\mathrm{r\βW}}^{*}\left(t\right)\]}-{\mathrm{r\βe}}^{\[-u(1-\mathrm{\β})W^{*}\left(t\right)\]}}{(1-\mathrm{\β})u-\mathrm{\β}r}\right\}.$