%0 Journal Article
%T 安全关键系统的软件可靠性评估方法
%A 张德平
%A 徐宝文？
%J 计算机科学
%D 2011
%X 基于统计测试的markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证佑计的无偏性条件下，以可靠性估计的方差最小为目的，通过ali-silvey距离度量两个分布之间的差异，调整各个状态之间的转移概率分布，修正测试剖面，增加关键操作的遍历概率。最后给出了软件可靠性估计的最优测试剖面生成迭代算法。仿真结果表明，该方法能明显降低估计方差，在提高估计精度的同时能有效地加速统计测试。
%K 软件可靠性
%K 统计测试
%K markov使用模型
%K 重要抽样
%K ali-silvcy距离
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=111231&flag=1