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

• 作者: 张德平 徐宝文
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 软件可靠性 统计测试 Markov使用模型 重要抽样 Ali-Silvey距离
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 软件工程
• 页码范围: 135-138
• 分类号: TP311.53
• 字数: 4344字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.12.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	南京大学软件新技术国家重点实验室	40	414	12.0	19.0
5	张德平	南京航空航天大学计算机科学与与技术学院	36	235	9.0	13.0