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

摘要/Abstract

摘要：

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

关键词: 模拟器, 故障注入, 故障建模, BIT软件测试

Abstract:

Fault injection technique is an effective means for BIT software testing. Addressing to the problems encountered in the boardlevel BIT software testing, this paper proposes a fault simulation and injection method based on the open source simulator QEMU. This method models and simulates a variety of processor class fault mode after the expansion and development of QEMU, which joins faulty behavior simulation and fault injection modules to achieve a system level simulator BitVaSim. Firstly, processor function failure mode analysis is given, keyvalue pair of faults are extracted, and XML Schema is used to define and model faults. Secondly, a second development is conducted on QEMU codes so as to simulate the fault behavior of processors. Thirdly, fault injection interfaces are configured to implement failure mode matching and fault conditions triggering to inject faults on demand in simulator runtime. Experimental results demonstrate the accuracy and potential of BitVaSim in the evaluation of the dependability properties of the complex computer systems and the BIT system.

Key words: Simulator;fault injection;fault modeling;BIT software testing

李毅1，徐萍1，万寒2. 基于QEMU实现的处理器类故障模拟与注入方法研究[J]. J4, 2014, 36(01): 19-27.

LI Yi1,XU Ping1,WAN Han2. Research on a QEMU based processor fault simulation and injection method [J]. J4, 2014, 36(01): 19-27.

参考文献［24］

［1］	Wang Yichen,Xu Ping.BuildIn test design and test for embedded software［J］. Journal of Computer Engineering, 2009, 35(17):3436.(in Chinese)
［2］	Liu Dandan, Wang Xiaofeng. The design of a buslevel fault injection system on BIT testability index verification［J］. Spacecraft Environment Engineering, 2008, 25(5):479484.(in Chinese)
［3］	Zhang Xiaojie, Wang Xiaofeng, Jin Man. Fault injection syste design based on BIT［J］. Journal of Beijing University of Aeronautics and Astronautics, 2006, 32(4):430434.(in Chinese)
［4］	Ziade H, Ayoubi R, Velazco R. A survey on fault injection techniques［J］. The International Arab Journal of Information Technology, 2004,1(2):171186.
［5］	Hsueh M, Tsai T K, Iyer R K. Fault injection techniques and tools［J］. Computer, 1997,30(4):7582.
［6］	Valderas M G, Garcia M P, Cardenal R F, et al, Advanced simulation and emulation techniques for fault injection［C］∥IEEE International Symposium on Industrial Electronics, 2007:33393344.
［7］	Arlat J, Crouzet Y, Karlsson J, et al. Comparison of physical and softwareimplemented fault injection techniques［J］. IEEE Transactions on Computers, 2003,52(9):11151133.
［8］	Le M, Gallagher A, Tamir Y. Challenges and opportunities with fault injection in virtualized systems［C］∥Proc of the 1st International Workshop on Virtualization Performance:Analysis, Characterization, and Tools, 2008:110.
［9］	Lu Yao, Liu Fang, Wang Zhiying. The present situation for research of simulation fault injection methodology and tools［C］∥Proc of the 11th National Council for Computer Engineering and Technology, 2007:1.(in Chinese)
［10］	Shi Junyou. The testablity design analysis and verification［M］. Beijing:National Defence Industrial Press, 2011.(in Chinese)
［11］	Naughton T, Vallée G, Engelmann C, et al. A Case for virtual machine based fault injection in a highperformance computing environment［C］∥Proc of 2011 International Conference on Parallel Processing, 2012:234243.
［12］	Wang Chao, Fu Zhongchuan, Chen Hongsong, et al. FSFI:A full system simulatorbased fault injection tool［C］∥Proc of the 1st International Conference on Instrumentation, Measurement, Computer, Communication and Control, 2011:326329.
［13］	Hanawa T, Koizumi H, Banzai T, et al. Customizing virtual machine with fault injector by integrating with SpecC device model for a software testing environment Dcloud ［C］∥Proc of the 16th Pacific Rim International Symposium on Dependable Computing, 2010:4754.
［14］	Zhou Yuyu, Shang Lihong, Lü Zixu. A method of single event upset fault injection based on virtual machine ［C］∥Proc of the 6th Chinese Testing Conference, 2010:1.(in Chinese)
［15］	Matthias S, Stefan P, Volkmar S. Deterministic highspeed simulation of complex systems including faultinjection［C］∥Proc of the 39th International Conference on Dependable Systems and Networks, 2009:211216.
［16］	Zeng Fanping,Li Juan,Li Ling,et al. Fault injection technology for software vulnerability testing based on xen［C］∥Proc of WRI World Congress on Software Engineering, 2009:206210.
［17］	Hxer H, Waitz M, Sieh V. Advanced virtualization techniques for FAU machine［C］∥Proc of the 11th International Linux System Technology Conference, 2004:112.
［18］	QEMU user manual ［EB/OL］. ［20120801］. http://wiki.qemu.org/Manual/.
［19］	Bellard F. QEMU, a fast and portable dynamic translator ［C］∥Proc of USENIX 2005 Annual Technical Conference, 2005:4146.
［20］	Smith J E, Nair R. An Hong, Zhang Yu, Wu Junmin, translation. Virtual machines—Versatile platforms for systems and processes ［M］. Beijing:China Machine Press, 2009.(in Chinese)
［21］	Intel Open Source Technology Center, Institute of Parallel Processing of Fudan University. Systems virtualization—Principles and implementations［M］. Beijing:Tsinghua University Press, 2009.(in Chinese)
［22］	Jin Hai,et al.Computing systems virtualization—Principles and applications［M］. Beijing:Tsinghua University Press, 2008.(in Chinese)
［23］	da Silva A,Martinez J F,Lopez L,et al. XML schema based faultset definition to improve faults injection tools interoperability［C］∥Proc of the 3rd International Conference on Dependability of Computer Systems,2008:3946.
［24］	Sun Junzhao, Wang Jianying, Yang Xiaozong. The present situation for research of fault injection methodology and tools［J］. Journal of Astronautics,2001, 22(1):100104.(in Chinese)
［25］	Guthaus M R, Ringenberg J S, Ernst D, et al. MiBench:A free, commercially representative embedded benchmark suit［C］∥Proc of IEEE the 4th Annual Workshop on Workload Characterization, 2001:314.
	附中文参考文献：
［1］	王轶辰, 徐萍. 嵌入式软件机内测试的设计与测试［J］. 计算机工程, 2009, 35(17):3436.
［2］	刘丹丹, 王晓峰. 验证BIT测试性指标的总线级故障注入系统及其设计［J］. 航天器环境工程, 2008, 25(5):479484.
［3］	张晓杰, 王晓峰, 金曼. 基于机内测试的故障注入系统设计［J］. 北京航空航天大学学报, 2006,32(4):430434.
［9］	路遥, 刘芳, 王志英. 模拟故障注入方法与工具的研究现状［C］∥中国计算机学会第十一届计算机工程与工艺学术年会, 2007:1.
［10］	石君友. 测试性设计分析与验证［M］. 北京:国防工业出版社, 2011.
［14］	周玉宇, 尚利宏, 吕紫旭. 基于虚拟机的单粒子翻转故障注入方法［C］∥第六届中国测试学术会议, 2010:1.
［20］	Smith J E, Nair R. 安虹, 张昱, 吴俊敏,译. 虚拟机:系统与进程的通用平台［M］. 北京:机械工业出版社, 2009.
［21］	英特尔开源软件技术中心, 复旦大学并行处理研究所. 系统虚拟化——原理与实现［M］. 北京:清华大学出版社, 2009.
［22］	金海,等. 计算系统虚拟化——原理与应用［M］. 北京:清华大学出版社, 2008.
［24］	孙峻朝, 王建莹, 杨孝宗. 故障注入方法与工具的研究现状［J］. 宇航学报, 2001, 22(1):100104.

[1]	付祥, 黎梓浩, 黄子潇, 杨曜嘉, 刘定东, 张春晖, 李小芳. 符号化量子计算模拟器SymQC[J]. 计算机工程与科学, 2023, 45(07): 1159-1169.
[2]	蒋欣秀, 常俊, 李波, 杨志军, 丁洪伟. 面向海洋节能边缘计算的任务卸载研究[J]. 计算机工程与科学, 2022, 44(09): 1563-1573.
[3]	邹鸿基, 李暾, 罗丹, 方雨德. 面向敏捷硬件设计的符号模拟器设计与实现[J]. 计算机工程与科学, 2021, 43(12): 2098-2104.
[4]	张亮, 常旭, 秦志楷, 沈立. 量子线路模拟器QuEST在多GPU平台上的性能优化[J]. 计算机工程与科学, 2021, 43(01): 17-23.
[5]	邓曦，邓玉欣. Qsimulation:一个量子计算模拟器工具[J]. 计算机工程与科学, 2019, 41(05): 843-850.
[6]	孙科. 某型机载武器信号模拟台的设计与实现[J]. J4, 2015, 37(02): 410-414.
[7]	赵玉兰，冀超，蒋凤仙，朱洋洋，雷厉霆，张志斌. 基于着色Petri网的IS-IS路由协议互操作性测试的研究[J]. J4, 2013, 35(12): 90-95.
[8]	王玉，唐遇星，窦强. 一种支持Subcacheline结构的三维Cache模拟器的设计[J]. J4, 2013, 35(10): 154-158.
[9]	黄旭1,2,陈冬岩1,李会1，邵珠瑜1，于磊磊1. FISDR：一种新的故障注入无线传感器网络性能评估系统[J]. J4, 2012, 34(7): 29-34.
[10]	张晨曦，李江峰，刘依. 组成原理与系统结构模拟实验系统的设计与开发[J]. J4, 2011, 33(增刊A1): 1-4.
[11]	吴吉庆，刘锋，彭宇行. EPSS：可扩展的P2P流媒体模拟器[J]. J4, 2011, 33(7): 101-105.
[12]	黄震宇，杨任农，白娟，邬蒙. 空战训练中虚实兵力对抗系统设计[J]. J4, 2011, 33(5): 80-84.
[13]	陈〓虎，罗伟良，干芸芸. Multi_MINT：一个基于MINT的多核处理器模拟器〖[J]. J4, 2011, 33(12): 37-43.
[14]	李建立, 谭庆平, 徐建军. 一种辐射环境下瞬时故障的软件检测方法[J]. J4, 2010, 32(3): 115-118.
[15]	吴庆波,颜跃进,张亚军,吴泉源. 一种基于虚拟机的驱动程序加固技术[J]. J4, 2010, 32(11): 124-127.