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

摘要

In order to ensure the accuracy of the communicating behavior in the IMA operating system,and to reduce the manpower and time cost of the system test,a behavior conformance test method between IMA port partitions is present,which conform to ARINC653 specification.Firstly,we analyzed the IMA partition communication mechanism,and used the architecture analysis and design language to establish communication models between different partitions of different modules.And then we put forward a communication example between partitions,illustrated the port calling rules and the expected communication process,and wrote the corresponding test specification.Finally,the framework model,port of scheduling and data accept conformance test,and port conformance test report were generated,and the,proposed model passed the conformance validation.The test results prove the feasibility of test method,and provide a foundation for further IMA system testing theory research.%为了确保IMA操作系统中的通信方行为的正确性,并减少系统测试的人力以及时间成本.提出了一种对于符合ARINC653接口的规范的IMA分区间端口行为一致性测试方法.首先,对IMA分区通信机制进行分析,使用架构分析与设计语言,建立不同模块上的不同分区间的通信模型.然后提出一个分区间通信实例,说明了端口的调用规则与预期的通信流程,并编写相应的测试规范.最后对模型的框架,端口的调度以及数据等进行一致性测试,并生成端口一致性测试报告,结果所建立的模型通过了一致性验证.测试结果证明了测试方法的可行性,为进一步研究IMA系统测试理论打下了基础.