一种用于容错计算机系统整体验证的故障注入试验策略

• 作者: 孙峻朝 杨孝宗 王建莹
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 故障注入 容错系统 验证 试验策略
• 年，卷（期）: 2001,（1）
• 所属期刊栏目: 计算技术
• 页码范围: 61-67
• 页数: 7页
• 分类号: TP302.8
• 字数: 7383字
• 语种: 中文

摘要

故障注入是一种有效的用于容错计算机系统验证的技术.分析了系统的层次分解模型在故障注入试验中的作用.提出一种基于动态故障树的容错系统分解模型MBDT，着重讨论利用这种模型产生故障注入试验属性集的方法，最终形成一种对容错计算机系统进行整体验证的故障注入试验策略.这种试验策略已经应用于研制的硬件故障注入器HFI-3中，并对一个航天容错计算机进行了验证，实验结果表明了这种策略的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨孝宗	哈尔滨工业大学计算机科学与工程系	149	1684	23.0	33.0
2	王建莹	哈尔滨工业大学计算机科学与工程系	5	204	5.0	5.0
3	孙峻朝	哈尔滨工业大学计算机科学与工程系	5	174	5.0	5.0