关键词: 模拟器, 故障注入, 故障建模, 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