[发明专利]一种基于排错过程引进故障的开源软件可靠性建模方法

摘要

本发明属于开源软件可靠性模型技术领域，具体涉及一种基于排错过程引进故障的开源软件可靠性建模方法。本发明基于排错过程引进故障的开源软件可靠性建模方法，包括以下步骤：(1)提出模型假设；(2)建立微分方程；(3)建立开源软件故障检测可靠性模型的。本申请在充分考虑实际的开源软件故障检测和故障去除之间存在时间延迟的基础上，并且考虑去除故障时可能引进故障的情况来建立相应的开源软件可靠性模型。由于考虑了在开源软件故障去除时，可能引进故障的情况，因此，建立地开源软件可靠性模型更符合实际的故障检测和故障去除变化的过程，建立地开源软件可靠性模型的假设更加的合理和可信。

主权项

1.一种基于排错过程引进故障的开源软件可靠性建模方法，其特征是包括以下步骤：(1)提出模型假设：开源软件故障检测过程与故障排错过程服从非齐次泊松过程；瞬时检测到故障的数量与开源软件中剩余故障的数量成正比；瞬时修正后的故障数量与开源软件检测到的故障但未去除的故障数量成正比；检测出的故障不会立即被去除，在排错时可能以概率α引入新的故障；(2)在步骤(1)假设的基础上建立微分方程如下：公式中m_d(t)表示：期望故障检测的数量函数，t表示时间，b(t)表示故障检测率函数，a(t)表示故障内容总个数函数，m_c(t)表示：期望排错数量的函数，c(t)表示排错故障率，α表示故障引进率；已知条件a(0)＝a,方程(8)可以得出下式，a(t)＝a(1+αm(t)     (9)公式中m(t)表示期望检测出故障数量函数，当b(t)＝b，把等式(9)代入等式(6)，得出以下方程式式，公式中a表示期望软件中最初存在故障的数量，b表示故障检测率，当c(t)＝c，把等式(9)代入等式(7)，我们可以得出下式，公式中c表示故障排错修正率，因此，故障检测和不完美排错过程的均值函数如下所示，(3)开源软件故障检测可靠性模型的建立：将公式(9)代入公式(6)，得到下述方程将方程(13)上式两边积分如下：∫d(ln(a‑(1‑α)m_d(t)))＝‑(1‑α)∫bdtln(a‑(1‑α)m_d(t))＝∫‑(1‑α)bdta‑(1‑α)m_d(t)＝C₁exp(‑(1‑α)bt)其中c₁为常量，当t＝0，md(0)＝0，因此,开源软件故障检测可靠性模型为：a‑(1‑α)m_d(t)＝aexp(‑(1‑α)bt)(4)开源软件故障排错可靠性模型的建立：设那么公式(7)可以改写成以下形式：exp(c(t))dmc(t)+exp(c(t))c(t)mc(t)dt＝exp(c(t))c(t)md(t)dt两边积分得，∫d(exp(C(t))m_c(t))＝∫exp(C(t))C(t)m_d(t)dt把公式(9)代入公式(16)，其中公式中c(t)表示排错故障概率。