[發明專利]一種考慮檢測效用及修正效用的軟件可靠性檢測方法

有效

• 申請號: 201310551644.5
• 申請日: 2013-11-07
• 公開（公告）號: CN104008048B
• 公開（公告）日: 2017-06-20
• 發明（設計）人: 高峰;萬程程;常帥;孟斌;陳嵩博;宋子陽;孟欣冉
• 申請（專利權）人: 哈爾濱工程大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 暫無信息
• 代理人: 暫無信息

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\}.$