[发明专利]一种考虑测试工作量与变动点下的模型建立方法

摘要

本发明的目的在于提供一种考虑测试工作量与变动点下的模型建立方法，本发明明确考虑到测试工作量TE(testing effort)与变动点CPs(change‑points)。首先给出了考虑TE下的不完美排错时的软件测试过程建模，在此基础之上，将不完美排错的研究范围进一步扩大，分析了考虑存在CPs时的软件测试，建立了更一般性不完美排错下的软件可靠性增长模型框架。本发明的有益效果是有效地建立软件测试过程中的可靠性增长模型，更加准确地描述不完美排错情况。

主权项

1.一种考虑TE与CP下的一般性不完美排错模型，其特征在于：在软件的测试与排除过程中，故障被检测出，相应的TE被用来支持故障的排除，得到如下的一阶微分方程组:(1)  其中w(t)是t时刻的TE消耗率，即,c(t)为[0,t]内累计所排除的故障数量，a(t)为软件中的总故障数量，(1)式的边界初始条件为：a(0)＝a,c(0)＝0,m(0)＝0，求解得到如下的结果:(2)  则当前的失效率为:(3)  令p(t)＝p，由于r(t)<<p(t)，令r(t)＝r，则简化为:(4)  令(5)  经过积分变换后，将(5)式变换为:(6)  将(6)带入(4)，得到:(7)  经过与上面类似的积分变换后，得到:(8)  首先考虑存在一个CP时的情况，设软件测试时间为[0,T]，其中τ₁为CP(0＜τ₁＜T)，由于CP的存在，使得b(t)在CP前后发生变化如(9)式所示:(9)  随着b(t)的变化，相应地测试工作消耗率w(t)也会发生变动，因此设:(10)  基于(1),(9)和(10)，计算求解出考虑一个CPs时的m(t)如下所示:(11)  当存在2个CP时:(12)  (13)  求得m(t)如下:(14)  同理，当存在n个CPs(τ₀＝0)时，求得一般化的m(t)如下:(15)