大型运输机任务管理系统自动化验证.pdf
针对目前航空电子系统测试过程中出现需求覆盖率低和测试不完整等问题,结合模型驱动的系统设计流程,以设计阶段的UML模型作为验证平台的测试输入,设计了任务管理系统自动化验证平台.并以大型运输机任务管理系统为用例,验证了该平台的正确性,能够满足型号研制要求.
作者:郭文杰贾鑫
作者单位:航空工业第一飞机设计研究院,陕西西安710089
母体文献:2017年航空智能装备与试验测试技术峰会暨学术交流会论文集
会议名称:2017年航空智能装备与试验测试技术峰会暨学术交流会
会议时间:2017年9月1日
会议地点:武汉
主办单位:中国航空学会,中国航空工业技术装备工程协会
语种:chi
分类号:V22V27
关键词:大型运输机 任务管理系统 自动化验证 模型驱动
在线出版日期:2021年3月31日
基金项目:
相似文献
相关博文
- 文件大小:
- 1.4 MB
- 下载次数:
- 60
-
高速下载
|
|