安全关键系统的软件可靠性评估方法

摘要：

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法.该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间的转移概率分布,修正测试剖面,增加关键操作的遍历概率.最后给出了软件可靠性估计的最优测试剖面生成迭代算法.仿真结果表明,该方法能明显降低估计方差,在提高估计精度的同时能有效地加速统计测试.

关键词：软件可靠性、统计测试、Markov使用模型、重要抽样、Ali-Silvey距离

所属期刊栏目：38

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

资助基金：国家自然科学基金90818027,91018005;国家高技术研究专题项目与发展计划8632009AA01Z147;国家重点基础研究发展规划9732009CB320703

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

页数：共4页

页码：135-138