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

作者：吴黎明; 胡军; 曹东; 徐丙凤; 于笑丰

来源：计算机科学, 2012, (07): 112-118.

• 模型驱动工程
• 基于模型的测试
• 飞行控制软件
• 时间自动机
• 无人机系统 Model driven engineering
• Model-based testing
• Flight control software
• Timed automata
• UAV system

软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。

• 单位
  南京航空航天大学; 自动化学院; 南京大学; 计算机软件新技术国家重点实验室