综合模块化航空电子平台网络故障注入策略

综合模块化航空电子（IMA）平台网络通信结构复杂，在进行故障注入测试时，存在难以选取合适的测试路径及等效、无效故障注入较多的问题。根据IMA平台网络通信结构特点，提出一种新的故障注入策略。首先，根据IMA平台网络对实时性和确定性的要求，提出一种基于通信链路的测试路径优化算法，生成最优测试路径，实现对IMA平台网络测试任务的有序覆盖；然后，在确定测试路径之后，采用有色Petri网（CPN）建模方法搭建测试案例自动生成模型，排除等效与无效故障，精简测路径中每个测试任务所需的测试案例。仿真结果表明，所提方法在测试次数与测试时间等方面均少于传统的故障注入策略，能够克服传统策略中的无序性及盲目性的缺点，降低测试的时间成本。

Fault injection strategy for network of integrated modular avionics platform

The network of Integrated Modular Avionics (IMA) platform has complex communication structure. When fault injection testing, it is difficult to select a appropriate test path, and there are much equivalent and invalid fault injection. According to the characteristics of the network communication structure of the IMA platform, a new fault injection strategy was proposed. Firstly, according to the requirements of real-time and certainty in the network of IMA platform, a test path optimization algorithm based on communication links was proposed, optimal test paths were generated to achieve orderly coverage of IMA platform network test tasks. Secondly, after determining the test path, a test case automatic generation model was constructed by using Colored Petri Net (CPN) modeling method, the equivalent and invalid faults were eliminated, and test cases required for each test task in the path were streamlined. The simulation results show that the proposed method is less than the traditional fault injection strategy in terms of test times and test time, so it can overcome the shortcomings of disorder and blindness in the traditional strategy and reduce the time cost of the test.