[发明专利]基于移动点的FSQ‑RWD软件可靠性增长方法及该方法的修正方法

摘要

基于移动点的FSQ‑RWD软件可靠性增长模型及该模型的修正模型，涉及软件故障修正技术。它为了解决软件故障修正模型不能详细地刻画软件故障修正过程的问题。本发明针对故障修正服务台动态调整而产生移动点，利用移动点技术，建立考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型，即FSQ‑RWD‑CP模型。在此模型基础之上，进一步建立了既考虑故障修正过程中的不完美排除，又考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型，即修正的FSQ‑RWD‑CP模型，能够更准确地描述软件测试的实际情况。本发明适用于软件故障修正。

主权项

基于移动点的FSQ‑RWD软件可靠性增长方法，其特征在于：该方法是针对下述软件故障检测和修正过程：软件故障检测过程遵循一个NHPP；在任意时刻软件系统失效都是由软件中存在的残余故障所引起的；在(t,t+Δt]时间间隔内已检测到的故障数与系统内残存故障数以及故障检测工作量成正比；软件故障之间相互独立；软件故障修正过程不能被忽略，修正的故障数滞后于检测到的故障累计数；每次引起软件系统失效的故障最终将会被修正，软件故障检测过程和故障修正过程并行执行，故障修正过程不会影响到故障检测过程且故障修正是完美的；使用FSQ方法来描述故障检测和故障修正活动，方法满足NHPP到达，服务时间服从一般分布；故障修正过程中，故障修正率是变化的；基于移动点的FSQ‑RWD软件可靠性增长方法为下述公式所表示的具有n个移动点的FSQ‑RWD‑CP方法的故障修正过程的均值函数方法：mc(t)=Σk=0n{∫τkτk+1md′(xk+1)[1-exp(-ρk+1Wc(τk+1)+ρk+1Wc(xk+1))]dxk+1+∫τkτk+1∫xk+1τk+1md′(xk+1)[1-exp(-ρk+1Wc(τk+1)+ρk+1Wc(yk+1))][1-exp(-μk+1Wc(yk+1)+μk+1Wc(xk+1))]dyk+1dxk+1+[md(τk)-mc(τk)][1-exp(-ρk+1Wc(τk+1)+ρk+1Wc(τk))]}]]>其中mc(t)表示故障修正过程的均值函数；md(t)表示到t时刻为止时故障检测过程的均值函数，ρ表示每单位故障修正工作量的故障修正率；Wc(t)表示表示到t时刻为止累积故障修正工作量，τk、τk+1、xk+1、yk+1均表示时间，k表示累积变量。