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

• 作者: 于笑丰 吴黎明 徐丙凤 曹东 胡军
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模型驱动工程 基于模型的测试 飞行控制软件 时间自动机 无人机系统
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 软件工程
• 页码范围: 112-118
• 分类号: TP301
• 字数: 8420字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.07.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
5	徐丙凤	南京航空航天大学计算机科学与技术学院	16	297	9.0	16.0
6	于笑丰	南京大学计算机软件新技术国家重点实验室	10	271	7.0	10.0
10	曹东	南京航空航天大学自动化学院	22	96	6.0	9.0
11	吴黎明	南京航空航天大学计算机科学与技术学院	1	4	1.0	1.0