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

• 作者: 李海峰 杨日盛 王学成 陆民燕
• 来源期刊: 重庆大学学报：自然科学版
• 学科: 工学
• 关键词: 软件可靠性 可靠性验证 安全关键软件 贝叶斯方法 减函数法 连续执行软件
• 年，卷（期）: 2012,（10）
• 页码范围: 136-143
• 分类号: TP311.53|V215.7
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆民燕	北京航空航天大学可靠性与系统工程学院	42	370	11.0	17.0
2	王学成	北京航空航天大学可靠性与系统工程学院	4	14	3.0	3.0
3	杨日盛	北京航空航天大学可靠性与系统工程学院	1	6	1.0	1.0