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

Model Driven Automated Testing for IMA Standard Compliance

作　　者：王博[1] 陆皓[1] 白晓颖[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《航空科学技术》2015年第11期83-89,共7页Aeronautical Science & Technology

摘　　要：随着现代航空电子系统的规模、复杂度不断提升,综合模块化航电系统(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.

关 键 词：综合模块化航电系统 模型驱动 自动化测试 标准符合性 开放式软件架构 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]