|
|||||
|
|
| 无人机飞控软件系统建模与测试用例生成研究 | |
| 引用本文： | 吴黎明,胡 军,曹 东,徐丙凤,于笑丰.无人机飞控软件系统建模与测试用例生成研究[J].计算机科学,2012,39(7):112-118. |
| 作者姓名： | 吴黎明 胡 军 曹 东 徐丙凤 于笑丰 |
| 作者单位： | 1. 南京航空航天大学计算机科学与技术学院 南京210016 2. 南京航空航天大学计算机科学与技术学院 南京210016;南京大学计算机软件新技术国家重点实验室 南京210093 3. 南京航空航天大学自动化学院 南京210016 4. 南京大学计算机软件新技术国家重点实验室 南京210093;南京大学商学院 南京210093 |
| 基金项目： | 江苏省研究生培养创新工程基金，南京航空航天大学科技创新基金 |
| 摘 要： | 软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。 |
| 关 键 词： | 模型驱动工程 基于模型的测试 飞行控制软件 时间自动机 无人机系统 |
Research on Modeling and Test Case Generation for UAV Flight Control Software System |
|
| WU Li-ming , HU Jun , CAO Dong , XU Bing-feng , YU Xiao-feng.Research on Modeling and Test Case Generation for UAV Flight Control Software System[J].Computer Science,2012,39(7):112-118. | |
| Authors: | WU Li-ming HU Jun CAO Dong XU Bing-feng YU Xiao-feng |
| Affiliation: | 3,4(College of Information Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China)1(College of Automation,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China)2(State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210093,China)3(School of Business,Nanjing University,Nanjing 210093,China)4 |
| Abstract: | The rapid growth of software size and complexity has become an important challenge for designing and veri-fying modern high-quality UAV flight control software(FCS) system.Based on the architecture of Model Driven Engineering(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. |
| Keywords: | Model driven engineering Model-based testing Flight control software timed automata UAV system |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |