基于改进贝叶斯方法的软件可靠性验证测试

摘要：

针对当今软件可靠性验证测试时长过久问题,提出一种基于单调减函数的贝叶斯软件可靠性验证测试方案.根据测试阶段里的实时先验信息,对先验信息进行动态整合处理;以单调减函数的贝叶斯方法为基础,提出两种先验动态整合的方法.通过案例分析验证了测试方案可以在保证置信度不变的条件下,大幅减少测试时长,两种先验动态整合法具有可行性.

关键词：单调减函数、先验信息、动态整合、贝叶斯方法、可靠性验证测试

所属期刊栏目：39

分类号：TP311.5(计算技术、计算机技术)

资助基金：军队科研计划基金项目2015H04

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

页数：共7页

页码：3100-3106