无人机飞控软件系统建模与测试用例生成研究  

Research on Modeling and Test Case Generation for UAV Flight Control Software System

作　　者：吴黎明[1] 胡军[1,2] 曹东[3] 徐丙凤[1] 于笑丰[2,4] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016 [2]南京大学计算机软件新技术国家重点实验室,南京210093 [3]南京航空航天大学自动化学院,南京210016 [4]南京大学商学院,南京210093

出　　处：《计算机科学》2012年第7期112-118,共7页Computer Science

基　　金：江苏省研究生培养创新工程基金(CXZZ11_0218);南京航空航天大学科技创新基金(NS2010095)资助

摘　　要：软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。The rapid growth of software size and complexity has become an important challenge for designing and veri- fying modem high-quality UAV flight control software （FCS） system. Based on the architecture of Model Driven Engi- neering（MDE）, an UAV flight control software model was established by using embedded real-time system modeling language（MARTE）, and an example of formal model for system dynamic behaviors based on timed automata was given. Considering the application background of UAV FCS system, we proposed a test case generation method based on timed automata, including establishment of testing architecture, coverage rules and strategies of test case generation. Lastly, a case study of timed automata modeling and test case generation for the main control module of an UAV FCS system were provided.

关 键 词：模型驱动工程 基于模型的测试 飞行控制软件 时间自动机 无人机系统 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]