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