基于QEMU实现的处理器类故障模拟与注入方法研究

• 作者: 万寒 徐萍 李毅
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 模拟器 故障注入 故障建模 BIT软件测试
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 高性能计算
• 页码范围: 19-27
• 页数: 9页
• 分类号: TP302.8
• 字数: 6037字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2014.01.004

摘要

故障注入技术在BIT软件测试中是一种有效的手段.针对电路板级BIT软件测试中遇到的问题,介绍了一种基于开源模拟器QEMU实现的处理器类故障模拟方法.采用该方法对多种处理器故障进行仿真建模,通过对QEMU的扩展开发,加入故障行为模拟模块和故障注入模块,以实现一个具有处理器类故障注入功能的系统级模拟器BitVaSim.首先分析处理器功能故障模式,提取故障的关键字值对,用XML Schema定义故障并用于故障建模;其次对QEMU代码进行二次开发以实现对处理器故障行为的模拟;然后通过配置故障注入接口实现模拟器运行时的故障模式匹配、故障按条件触发等功能;最后通过实验案例来观察模拟器的故障表现,评价这种基于模拟器的故障注入技术.实验过程和结果显示这种方法是有效可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐萍	北京航空航天大学可靠性与环境工程技术重点实验室	17	186	7.0	13.0
2	李毅	北京航空航天大学可靠性与环境工程技术重点实验室	6	11	2.0	3.0
3	万寒	北京航空航天大学虚拟现实技术与系统国家重点实验室	2	5	2.0	2.0