简介：摘要：新一代飞机采用了综合化模块化航空电子技术。该种IMA架构设计极大地提高了飞机的安全性及飞行品质。新机任务系统软件规模从上一代的百行、千行激增到万甚至十万行源代码，沿用原来的测试验证方法，会导致错误定位困难、测试难度大，以及不利于后期分析验证等问题。本文提出了一种基于模型驱动的IMA软件自动测试与验证技术，针对软件功能和接口，进行模型化仿真验证，为国内正在进行的新一代飞机项目的开发及测试工作提供了一些思路。
基于模型驱动的IMA软件自动测试与验证技术研究
