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-DO178B. 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.
ADVANCED SCIENCE LETTERS is an international peer-reviewed journal with a very wide-ranging coverage, consolidates research activities in all areas of (1) Physical Sciences, (2) Biological Sciences, (3) Mathematical Sciences, (4) Engineering, (5) Computer and Information Sciences, and (6) Geosciences to publish original short communications, full research papers and timely brief (mini) reviews with authors photo and biography encompassing the basic and applied research and current developments in educational aspects of these scientific areas.