基于随机测试的软件可靠性评估

摘要：

本文提出了基于随机测试的软件可靠性评估方法。文中首先引入程序正确性的概念,继而讨论了程序正确性估计方法,该方法以贝叶斯统计理论为依据,在对随机测试过程分析的基础上建立了基于输入域的测试过程的形式化描述;接下来讨论了程序正确性概率的先验密度函数及相关参数的选择方法,在此基础上得到正确性概率的后验概率密度函数.最后提出了在给定的程序运行剖面下软件可靠性估计方案.

关键词： 软件可靠性 贝叶斯推断 最大信息熵 随机测试 可靠性评估 先验密度函数

作者: 张广梅 李劲松

作者单位: 山东农业大学信息科学与工程学院 中国 山东省泰安市 271000 新汶矿业集团通信中心,中国 山东省泰安市 271233

会议类型: 国内会议

会议名称: 第五届中国测试学术会议

会议地点: 苏州

会议语种:中文

页码: 353-357

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