[发明专利]一种软件可靠性测试方法、系统、存储介质、计算机程序

权利要求书

1.一种软件可靠性测试方法，其特征在于，所述软件可靠性测试方法包括：

第一步，建立了基于故障检测率函数、故障修复函数和新故障引入函数的故障检测、修复与引入模型，对模型进行求解；

第二步，求解得到统一的测试覆盖函数下考虑故障不完全修复与引入新故障的不完美测试模型；

第三步，求得软件中总故障数量和累积修复的故障数量；

第四步，完成了测试覆盖函数下考虑故障不完全修复与引入新故障的不完美测试框架模型的构建，得到了表示截止时刻累积检测到和修复的故障数量，软件中总的故障数量。

2.如权利要求1所述的软件可靠性测试方法，其特征在于，所述软件可靠性测试方法令m(t)和r(t)分别表示截止t时刻累积检测到和修复的故障数量，a(t)表示t时刻软件中总的故障数量；建立了基于故障检测率函数b(t)、故障修复函数p(t)和新故障引入函数γ(t)的故障检测、修复与引入模型：

b(t)是故障检测率，表示在测试环境下测试人员运用测试技术故障被检测出来的概率，从多种角度进行设定；当考虑测试覆盖的角度时，故障检测率b(t)表示如下：

c(t)表示截止至t时刻已经被测试代码的百分比；1-c(t)表示到t时刻尚未被测试覆盖的比例，c(t)的导数c’(t)，则表示t时刻点上的测试覆盖率，故障检测率FDR与c’(t)成正比例，且与1-c(t)成反比例，b(t)＝c’(t)/[1-c(t)]；r(t)表示新故障引入率，p(t)表示t时刻故障被成功修复的比例函数；

此微分方程组的边界条件为：

对模型进行求解：

a(t)＝a+γ(t)·r(t)；

令则得：

将代入a(t)＝a+γ(t)·r(t)，则有：

代入得：

令则：

解得：

将代入得：

由此求解得到统一的测试覆盖函数下考虑故障不完全修复与引入新故障的不完美测试模型：

则失效率λ(t)为：

求得软件中总故障数量a(t)和累积修复的故障数量r(t)：

至此，完成了测试覆盖函数下考虑故障不完全修复与引入新故障的不完美测试框架模型的构建，得到了m(t)，r(t)和a(t)。

3.如权利要求1所述的软件可靠性测试方法，其特征在于，所述软件可靠性测试方法的测试阶段的软件可靠性表示为R(x|T)，软件上一次失效时间是T(T≥0，x0)，则在(T，T+x)内的软件可靠性表示为：

R(x|T)＝e^{-[m(T+x)-m(T)]}；

若从T＝0开始，则m(t)＝0，将代入则得到可靠性R(x)：

4.如权利要求1所述的软件可靠性测试方法，其特征在于，所述软件可靠性测试方法的测试覆盖函数视角下完美测试框架模型，c’(t)/(1-c(t))被用来度量该时刻的故障检测率b(t)，c(t)描述测试用例的执行情况，通过c(t)的变动获得不同的FDR函数，得到不完美排错过程模型：

求解得到测试覆盖函数下的不完美测试模型中的m(t)：

至此，从测试覆盖函数c(t)的角度得到了SRGM研究中的关键待求变量m(t)，通过设定各类测试覆盖函数c(t)，则得到一系列相关的m(t)，p(t)＝p,γ(t)＝γ，则求得m(t)如下：