综合模块化航电软件仿真测试环境研究  

A Framework of Simulation Testing Environment for Integrated Modular Avionics Software

作　　者：周庆[1] 刘斌[1] 余正伟[1] 冯时雨[2] 

机构地区：[1]北京航空航天大学可靠性与系统工程学院,北京100191 [2]北京航空工程技术研究中心,北京100076

出　　处：《航空学报》2012年第4期722-733,共12页Acta Aeronautica et Astronautica Sinica

基　　金：国防预研项目(513190802)

摘　　要：伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。It is difficult for the traditional software testing environment to meet the requirements of integrated modular avionics （IMA） software testing and verification of the verification process results in RTCA-DO-178B. It is also difficult for the tra- ditional software testing environment to achieve the goals of functional testing and validation of the 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 proposes a program of IMA software greybox testing environment based on software fault injection. This program is more general, flexible and strong realtime than the traditional software testing environment.

关 键 词：综合模块化航空电子 软件 灰盒测试 仿真测试环境 软件故障注入 DO 178B 

分 类 号：V247[航空宇航科学与技术—飞行器设计] TP311.5[自动化与计算机技术—计算机软件与理论]