Research on Fault Injection and Robustness Testing for the Model-Driven VxWorks System

Zhu Xiaoyan,Wu Ji,Shang Huibo

2013-01-01

Abstract:VxWorks is a popular real-time operating system for complex embedded systems like avionics or automobile. VxWorks provides strong fault capture capabilities and default handling methods for user applications. It also provides APIs to mount user application specific fault handlers. As for application robustness testing, since the timing and mechanism of fault occurrence is complex, it is an essential problem that how to control operating system to throw corresponding fault based on the testing requirement of the application. In this paper, we study the fault captured by VxWorks, and present a fault design and testing method consist of fault modeling, fault injection, testing control and robustness estimate. This testing method combines the model driven testing with the fault injection technique, so users can design fault in the platform-independent level and dynamically inject appropriate fault depending on different platforms in system level. In this paper we designed two kinds of fault injection methods: function replacement and variable modification, and carried out experiments on VxWorks 5.5 to confirm the validity of the corresponding methods and techniques.