[发明专利]基于确信可靠性理论的软件测试时间确定方法

权利要求书

1.一种基于确信可靠性理论的软件测试时间确定方法，其特征在于：其包括以下步骤：

S1构建基于多维不确定微分方程的软件确信可靠性增长模型；

基于多维不确定微分方程的软件确信可靠性增长模型为：

dS_i(t)＝λ_i(t，β_i)(N_i-p_iS_i(t))dt+σ_idC_i(t)，S_i(0)＝s_i(0)，i＝1，2，…，I； (3)

其中，S_i(t)表示到时刻t为止第i种故障的累积检测故障数，s_i(0)表示在初始时刻第i种故障的累积检测故障数值，λ_i(t，β_i)表示第i种故障对应的比例系数，N_i表示第i种故障的故障总数，p_i，(0＜p_i＜1)表示第i种故障的故障排除效率，σ_i为表示第i种故障受到扰动的水平的非负常数，C_i(t)为独立的刘过程，i＝1，2，…，I，I为故障类型数；

S2基于多维不确定微分方程的软件确信可靠性增长模型，得到每种累积检测故障数以及累积检测故障总数的期望值e(t)，方差值v²(t)，确信可靠分布Φ_t(x)，置信水平为γ的置信区间

S3利用已检测到的累积检测故障数据，估计模型中的未知参数；具体包括：

S31估计未知参数β_i，N_i，p_i，i＝1，2，…，I，具体包括：

记到时刻0＝t₀＜t₁＜…＜t_n＝t为止第i种故障的累积检测故障数分别为s_i(t₀)，s_i(t₁)，...，s_i(t_j)，...，s_i(t_n)，i＝1，2，…，I；j＝0，1，2，...，n；s_i(t_j)为第i种故障在t_j时刻的具体数值；求解如下问题的最优解，得到未知参数β_i，N_i，p_i，i＝1，2，…，I的估计值：

其中，

S32估计未知参数σ_i，i＝1，2，…，I，具体包括：

未知参数σ_i，i＝1，2，…，I应满足如下等式

其中，i＝1，2，…，I，E表示取期望；

S33得到未知参数σ_i，i＝1，2，…，I的估计值；

未知参数σ_i，i＝1，2，…，I的估计值为：

i＝1，2，…，I；为步骤S31中得到的参数β_i、N_i的估计值；

S4基于确信可靠性理论，得到软件确信可靠度随时间的变化，并确定软件确信可靠时间；

S41基于确信可靠性理论，得到软件确信可靠度随时间的变化；

在时刻y软件的确信可靠度RB_f(y)如下得到：

其中，为Φ_l的逆函数，Φ_l如式(12)所示，inf表示下确界；f为设定的检测到的故障在总故障中的比例，S(t)为累积检测故障总数，RB_f(y)表示在时刻y软件的确信可靠度；

S42基于确信可靠性理论，确定软件测试时间；

软件测试时间T_f(α)为软件要达到规定的确信可靠度α，(0＜α＜1)所需的测试时间，即

T_f(α)＝inf{t|RB_i(y)≥α} (20) 。