10.3969/j.issn.1006-9348.2018.02.009
IMA分区间通信的一致性测试模型
为了确保IMA操作系统中的通信方行为的正确性,并减少系统测试的人力以及时间成本.提出了一种对于符合ARINC653接口的规范的IMA分区间端口行为一致性测试方法.首先,对IMA分区通信机制进行分析,使用架构分析与设计语言,建立不同模块上的不同分区间的通信模型.然后提出一个分区间通信实例,说明了端口的调用规则与预期的通信流程,并编写相应的测试规范.最后对模型的框架,端口的调度以及数据等进行一致性测试,并生成端口一致性测试报告,结果所建立的模型通过了一致性验证.测试结果证明了测试方法的可行性,为进一步研究IMA系统测试理论打下了基础.
综合模块化航电系统、分区通信、一致性测试
35
V271.4(各类型航空器)
国家重点基础研究发展计划“九七三”计划2014CB744904;中央高校基本科研项目3122016A006
2018-04-23(万方平台首次上网日期,不代表论文的发表时间)
共6页
43-48