[发明专利]基于移动点的ISQ-FDEFCE软件可靠性增长模型

摘要

基于移动点的ISQ-FDEFCE软件可靠性增长模型，属于软件可靠性工程领域，本发明为解决现有基于移动点的NHPP类软件可靠性增长模型存在的问题。本发明所述基于移动点的ISQ-FDEFCE软件可靠性增长模型，具有n个移动点的ISQ-FDEFCE-CP模型为：软件可靠性增长模型不仅是进行软件可靠性进行评估、分析和预测的最强有力工具，而且为改善软件可靠性提供指南。

主权项

1.基于移动点的ISQ-FDEFCE软件可靠性增长模型，所述基于移动点的ISQ-FDEFCE软件可靠性增长模型简写为ISQ-FDEFCE-CP模型，其特征在于，该模型在软件故障修正过程中具有1个移动点，ISQ-FDEFCE-CP模型假设如下：软件故障检测过程遵循一个NHPP；在任意时刻软件系统失效都是由软件中存在的残余故障所引起的；在(t,t+Δt]时间间隔内已检测到的故障数与系统内残存故障数以及故障检测工作量成正比；软件故障之间相互独立；软件故障修正过程不可以被忽略，修正的故障数滞后于检测到的故障总数；每次引起软件系统失效的故障最终将会被修正，软件故障检测过程和故障修正过程是并行执行的，故障修正过程不会影响到故障检测过程且故障修正是完美的；使用ISQ模型来描述故障检测和故障修正活动，并且模型满足NHPP到达，服务时间服从一般分布；故障修正过程中，故障修正率在某些时间点上发生变化；ISQ-FDEFCE-CP模型为：mc(t)=mc(0,τ1]+mc(τ1,t]=∫0τ1md′(x1)G1(τ1-x1)dx1+∫τ1tmd′(x2)G2(t-x2)dx2+[md(τ1)-mc(τ1)]G2(t-τ1)]]>其中：m_c(t)为具有1个移动点的故障修正过程的均值函数；m_c(0，τ₁]为在(0,τ₁]时间间隔内被检测到故障在修正过程的均值函数；m_c(τ₁，t]为(τ₁,t]时间间隔内被检测到故障在修正过程的均值函数；m′_d()为m_d()的一阶导数，m_d()表示到t时刻为止ISQ-FDEFCE-CP模型的故障检测过程的均值函数，md(t)=a[1-exp(-bWd(t)+bWd(0))]=a[1-exp(-bWd*(t))]]]>其中：a表示软件测试开始关潜在的故障总数；b表示每单位测试工作量的故障检测率；Wd₍t)表示到t时刻为止累积测试工作量；W(0)表示0时刻的测试工作量；|W^*(t)＝W(t)-W(0)；G₁(τ₁-x₁)表示(0,τ₁]时间间隔内的故障修正时间累积分布函数；某一个故障点在x₁时刻被检测到，且在(x₁τ₁]时间间隔内被完全修正；且G₁(τ₁-x₁)按公式G₁(τ₁-x₁)=1-exp[-ρW_c(τ₁)+ρW_c(x₁)]获取；其中：ρ表示每单位故障修正工作量的故障修正率；W_c(τ₁)表示至τ₁时刻为止累积的故障修正工作量；W_c(x₁)表示至x₁时刻为止累积的故障修正工作量；G₂(t-x₂)表示(τ₁，t]时间间隔内，故障修正时间的累积分布函数；且G₂(t-x₂)按公式G₂(x₁-t)=1-exp[-ρW_c(x₁)+ρW_c(t)]获取；其中：ρ表示每单位故障修正工作量的故障修正率；W_c(t)表示至t时刻为止累积的故障修正工作量。