[发明专利]一种故障检测率下降变化的不完美调试软件可靠性模型

摘要

本发明属于软件可靠性模型技术领域，具体涉及一种故障检测率下降变化的不完美调试软件可靠性模型。本发明故障检测率下降变化的不完美调试软件可靠性模型，包括以下步骤：(1)模型假设条件；(2)根据步骤(1)中假设得到本发明故障检测率下降变化的不完美调试软件可靠性模本发明采用上述技术方案，假设在软件测试过程中，故障检测率随测试时间逐渐下降变化，故障引进随测试时间非线性变化，并提出相应的不完美调试的软件可靠性模型。

主权项

1.一种故障检测率下降变化的不完美调试软件可靠性模型，其特征是包括以下步骤：(1)模型假设条件如下：①在软件测试过程中，故障检测和去除过程服从非齐次泊松过程；②软件失效发生是由软件中剩余故障造成；③故障检测率随测试时间逐渐下降变化；④每次检测出故障立即被去除，新的故障可能被引进；⑤故障总数函数随测试时间非线性变化；(2)根据步骤(1)中假设①的非齐次泊松过程可表示为：其中N(t)是一个计数过程，且{N(t),t>0}，m(t)表示到时间t为止，期望累计检测出故障的数量；根据步骤(1)中假设②的微分方程可表示为：其中b(t)表示故障检测率函数，a(t)表示故障总数函数，公式(2)表示当前检测出故障的数量和软件中剩余的故障的数量相关；根据步骤(1)中假设③得出故障检测率函数可表示为：其中b表示故障检测率，t表示时间；根据步骤(1)中假设④和⑤，故障总数函数可以被表示为：a(t)＝a(1+αt^d)         (4)其中a(t)故障总数函数，包括最初期望故障和最终引进故障；b为故障检测率，α为故障引进率，a为软件中最初期望检测出故障的数量，d是一个形状参数；把公式(3)和(4)代入(2)，得到如下方程式：用初始条件，t＝0，m(t)＝0解微分方程(5)可以得出下列的表达式：公式(6)即故障检测率下降变化的不完美调试软件可靠性模型。