带减函数的连续型软件可靠性验证方案

摘要：

针对连续型安全关键软件可靠性验证测试（SRDT）所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案（CBSDF）：首先选取连续型软件可靠性参数（如失效率）的典型减函数作为失效率的先验分布密度函数（先验分布）;然后根据增长测试阶段后期的失效时间数据（先验信息）计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息（CBS1）与有先验信息（CBS2）的贝叶斯验证方案进行实例对比研究,计算结果表明：在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。

关键词：软件可靠性、可靠性验证、安全关键软件、贝叶斯方法、减函数法、连续执行软件

所属期刊栏目：35

分类号：TP311.53;V215.7(计算技术、计算机技术)

资助基金：国防科技工业技术基础科研资助项目Z1320108001

在线出版日期：2012-12-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：136-143