IMA分区间通信的一致性测试模型

摘要：

为了确保IMA操作系统中的通信方行为的正确性,并减少系统测试的人力以及时间成本.提出了一种对于符合ARINC653接口的规范的IMA分区间端口行为一致性测试方法.首先,对IMA分区通信机制进行分析,使用架构分析与设计语言,建立不同模块上的不同分区间的通信模型.然后提出一个分区间通信实例,说明了端口的调用规则与预期的通信流程,并编写相应的测试规范.最后对模型的框架,端口的调度以及数据等进行一致性测试,并生成端口一致性测试报告,结果所建立的模型通过了一致性验证.测试结果证明了测试方法的可行性,为进一步研究IMA系统测试理论打下了基础.

关键词：综合模块化航电系统、分区通信、一致性测试

所属期刊栏目：35

分类号：V271.4(各类型航空器)

资助基金：国家重点基础研究发展计划“九七三”计划2014CB744904;中央高校基本科研项目3122016A006

在线出版日期：2018-04-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：43-48