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

权利要求书

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)，计算求解出考虑一个CP时的m(t)如下所示:

(11)

当存在2个CP时:

(12)

(13)

求得m(t)如下:

(14)

其中，0≤τ₂≤T，同理，当存在n个CP，并且τ₀＝0时，求得一般化的m(t)如下:

(15)

其中0≤τ_n≤T。