[发明专利]一种基于测试工作量变化的开源软件优化发布方法

权利要求书

1.一种基于测试工作量变化的开源软件优化发布方法，其特征在于，所述方法是通过确定开源软件优化发布时间实现的，具体包括以下步骤：

首先，建立测试工作量的函数：

式中，E(t)表示开源软件开发和测试过程中期望使用的总的测试工作量；E₁表示在当前版本中去除一个故障期望使用的工作量；E₂表示在以后的版本中去除一个故障期望使用的工作量；E₃表示在当前版本中检测出一个故障期望每单位时间使用的工作量；E₄表示在当前版本中检测出引进故障期望使用总的工作量；t表示测试时间变量；T_L表示开源软件的生命周期；μ(t)表示开源软件可靠性模型，即式中，a，ω，β，d，θ为开源软件可靠性模型的参数，i＝0,1,2,3,...,n，n是正整数；i！＝(i-1)×(i-2)×(i-3)×,...,×1，0！＝1；

对于当前版本中没有去除的故障，需要做更多的工作才能在以后的版本中去除，因此，E₂＞E₁＞0；

由于在确定开源软件开发和测试过程中所需工作量的同时，也需要考虑开源软件到达的可靠性程度，因此，基于工作量的开源软件优化发布时间可通过以下方法得到：

式中，表示可靠性函数，即t时刻开始，s时间内无故障运行的概率；R₀预先设定的可靠性级别，它是一个常量；T*表示开源软件优化发布时间；T_E表示开源软件达到最小测试工作量所用的时间；T_R表示开源软件满足预先设定的可靠性级别所用的时间；s表示一段测试时间。

2.根据权利要求1所述的一种基于测试工作量变化的开源软件优化发布方法，其特征在于：若E₁,E₂,E₃,E₄都是常量，则开源软件优化发布时间T_E可以通过最小化测试工作量函数E(t)获得，具体步骤为：

对式(1)两边求导，得：

对式(3)两边求导，可得：

E”(t)＝(E₁-E₂)μ”(t)                              (4)

(1)当E”(t)＜0并且t∈[0,∞)，则E'(t)是一个下降的函数，此时有以下三种情形：

如果E'(0)≤0，并且E(t)是一个非增函数，此时T_E＝∞，E(t)取最小值；

如果E'(∞)＞0，并且E(t)是一个增函数，此时T_E＝0，E(t)取最小值；

如果E'(0)＞0，并且E'(∞)＜0,当t∈(0,t₁]，t₁一定存在并且E'(t)＞0；当t∈(t₁,∞]，E'(t)＜0并且t₁＝[E'(0)]^-1，此时，如果E'(0)≤E'(∞)，那么T_E＝0；如果E'(0)＞E'(∞)，那么T_E＝∞；

(2)当E”(t)＞0并且t∈[0,∞)，则E'(t)是一个增函数，此时有以下三种情形：

如果E'(0)≥0，并且E(t)是一个非减函数；此时T_E＝0，E(t)取最小值；

如果E'(∞)≤0，并且E(t)是一个非增函数；此时T_E＝∞，E(t)取最小值；

如果E'(0)＜0，当t∈(0,t₂]，t₂一定存在并且E'(t)＜0；当t∈(t₂,∞]，E'(t)≥0，如果T_E＝t₂，那么T_E＝∞，此时E(t)取最小值并且t₂＝[E'(0)]^-1；

(3)当t∈(t₃,∞]并且E”(t)＞0，E'(t)是一个增函数，此时有以下三种情形：

如果E'(0)≥0，则T_E＝t₃；

如果E'(∞)≤0，则T_E＝∞；

如果E'(t₃)＜0，并且E'(∞)＞0，则T_E＝t₀∈(0,t₃]并且t₀＝[E'(0)]^-1；

(4)当t∈(0,t₃]并且E”(t)＞0，E'(t)是一个增函数，此时有以下三种形式：

如果E'(0)≥0，则T_E＝0；

如果E'(t₃)≤0，则T_E＝t₃；

如果E'(0)＜0，并且E'(t₃)＞0，则T_E＝t₀∈(0,t₃]并且t₀＝[E'(0)]^-1；

(5)当t∈(t₃,∞]并且E”(t)＜0，E'(t)是一个减函数；此时：

如果E'(t₃)≤0，则T_E＝∞；

如果E'(∞)＞0，则T_E＝t₃；

如果E'(t₃)＞0并且E'(∞)＜0，则有以下两种形式：若E'(∞)＜E'(t₃)，则T_E＝∞；若E'(∞)≥E'(t₃)，则T_E＝t₃；

(6)当t∈(0,t₃]并且E”(t)＜0，E'(t)是一个减函数，此时：

如果E'(0)≤0，则T_E＝t₃；

如果E'(t₃)＞0，则T_E＝0；

如果E'(0)＞0并且E'(t₃)＜0，则有以下两种形式：若E'(t₃)＜E'(0)，则T_E＝t₃；若E'(t₃)≥E'(0)，则T_E＝0；

(7)当T_E＝∞，则T_E＝T_L；即当总的工作量趋于无穷时，开源软件的优化发布时间就是开源软件的生命周期时间。