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

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