模型驱动的IMA标准符合性测试自动化技术研究

Model Driven Automated Testing for IMA Standard Compliance

随着现代航空电子系统的规模、复杂度不断提升,综合模块化航电系统(Integrated Modular Avionics,IMA)在新一代作战飞机中逐渐得到全面应用。IMA将预先定制的任务单元作为多样化任务的处理平台,并集成为综合处理机,实现数据的高速集中处理与融合。针对IMA开放式体系结构的模块化、标准化等特点,本文提出了一种基于接口语义模型的测试自动化技术。其中,标准接口的语义模型对接口数据、功能和行为进行抽象,测试模型内建测试策略与测试计划。从接口模型到测试模型,研究探讨了测试用例的自动生成、部署、和调度执行的方法。研究成果在国产机载操作系统ARINC653标准符合性测试中进行了初步应用,有效提高了测试的系统性、效率和工作质量。

With the increasing scale and complexity of avionics systems, Integrated Modular Avionics （IMA） has been a major trend that is widely used in modern aircrafts. IMA builds a uniifed platform for customized modules of diversiifed tasks, caled IPC （Integrated Processing Computer）, to achieve centralized high-speed data processing and integration. IMA folows the principle of open system architecture and is characterized by modular and standard design. Based on the characteristics, the paper proposed a model-driven approach to facilitate IMA test automation. Models were deifned at two levels： the interface semantic model to abstract the data, functions, and behavior of each module standard interfaces, and the test model with build-in testing strategies and test plan. By transforming from interface model to test model, the research investigates the techniques of automatic test generation, deployment, scheduling, and execution. Preliminary experiments were carried on ARINC653 compliance testing of avionics systems. It shows promising improvements on testing systematicness, efifciency and quality.