Injecting faults into environment simulators for testing safety critical software

Abstract

Software testing via environment simulation is an approach to testing safety critical software. By this approach, to test software in adverse conditions we need to simulate the failure processes of the environment system. Such testing is essential for safety critical software, especially for protection software. However, due to the complexity of failure processes, the development of simulators of failure processes is complicated, expensive and difficult. This paper presents a method to derive such simulators systematically and etficiently. The basic idea is to inject faults into the simulator of the healthy environment system to obtain the simulators of faulty environments.