[發明專利]考慮排錯等待延遲的基于FSQ的軟件可靠性增長模型的建立方法

無效

• 申請號: 201310738214.4
• 申請日: 2013-12-29
• 公開（公告）號: CN103744780A
• 公開（公告）日: 2014-04-23
• 發明（設計）人: 崔剛;付忠傳;張楠;暴建民;潘波;張策;朱東杰;王秀峰;張必英;季春光
• 申請（專利權）人: 哈爾濱工業大學
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 哈爾濱市松花江專利商標事務所 23109
• 代理人: 岳泉清

1.考慮排錯等待延遲的基于FSQ的軟件可靠性增長模型的建立方法，其特征在于，所述考慮排錯等待延遲的基于FSQ的軟件可靠性增長模型包括故障檢測過程中的均值函數模型和故障修正過程中的均值函數模型，所述方法包括如下步驟：

步驟一：確定建立該模型的條件；

步驟二：根據步驟一所述條件，建立微分方程，并根據所述微分方程，求取FSQ-RWD模型的故障檢測過程中的均值函數模型；

步驟三：根據故障修正時間、故障排錯等待時間和步驟二獲得的故障檢測過程中的均值函數模型，求取FSQ-RWD模型的故障修正過程中的均值函數模型。

2.根據權利要求1所述的考慮排錯等待延遲的基于FSQ的軟件可靠性增長模型的建立方法，其特征在于，

所述步驟一中，確定建立該模型的條件為：

軟件故障檢測過程遵循一個NHPP；

在任意時刻軟件失效都是由所述軟件中存在的殘余故障所引起的；

在(t,t+Δt]時間間隔內已檢測到的故障數與軟件內殘存故障數以及故障檢測工作量成正比；

軟件的故障之間相互獨立；

軟件的故障修正過程不可以被忽略，修正的故障數滯后于檢測到的故障累計數；

每次引起軟件失效的故障最終將會被修正，軟件故障檢測過程和故障修正過程是并行執行的，故障的修正行為不會影響到故障檢測過程；

使用FSQ模型來描述故障檢測和故障修正活動，并且模型滿足NHPP到達，服務時間服從一般分布；

故障被修正時，不會引入新故障。

3.根據權利要求2所述的考慮排錯等待延遲的基于FSQ的軟件可靠性增長模型的建立方法，其特征在于，

步驟二中根據步驟一所述條件，建立微分方程，并根據所述微分方程，求取FSQ-RWD模型的故障檢測過程中的均值函數模型的方法為：

根據步驟一所述條件建立微分方程：

dmd(t)dt=bwd(t)[a-md(t)]---(1)]]>

其中，m_d(t)為t時刻為止軟件已檢測到的故障數的期望值，b為每單位故障檢測工作量的故障檢測率，w_d(t)為t時刻的瞬時故障檢測工作量，a為故障檢測開始前潛在故障總數；

上述微分方程的初始條件為m_d(0)=0，，解所述微分方程得到FSQ-RWD模型的故障檢測過程中的均值函數模型：

md(t)=a[1-exp(-bWd(t)+bWd(0))]=a[1-exp(-bWd*(t))]---(2)]]>

其中，W_d(t)為到t時刻為止累積故障檢測工作量，