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

摘要：

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

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

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

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

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：112-118