Research of simulation testing environment for integrated modular avionics software

In the integrated modular avionics (IMA) software testing, the traditional software testing environment is difficult to meet the requirements of testing environment and verification of verification process results in RTCA-DO- 178B. And it is also difficult to achieve the goals of functional testing and validation of IMA software, which includes testability design, health monitoring and redundancy management functions. This paper analyzes the characteristics of integrated modular avionics software, and describes the requirements of the testing environment aimed for IMA software testing. Then, it puts forward a program of IMA software gray-box testing environment based on Software Fault Injection, which is more general, flexible and strong real-time than the traditional software testing environment.