首页 > 《中国科技信息》 > 2022年12期 > 基于模型驱动的IMA软件自动测试与验证技术研究

基于模型驱动的IMA软件自动测试与验证技术研究

在线阅读下载PDF 导出详情

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

DOI g4q6pozoj8/6456000

作者霍峰薛一哲柴睿鸽

机构地区航空工业西安航空计算技术研究所，陕西西安 710068

出处《中国科技信息》 2022年12期

关键词 IMA 构架模型驱动自动化测试模型验证

分类 [][]

出版日期 2022年09月27日（中国期刊网平台首次上网日期，不代表论文的发表时间）