基于模型的飞行控制软件测试用例的生成

doi:空军装备重点预研专项基金资助项目（402050

吉林大学学报(工学版)

基于模型的飞行控制软件测试用例的生成

刘久富^{1, 2},杨忠²,孙德敏¹,李志宇²

1.中国科学技术大学自动化系，合肥 230026; 2.南京航空航天大学自动化学院，南京 210016

收稿日期:2005-07-12 修回日期:2005-09-23 出版日期:2006-07-01 发布日期:2006-07-01
通讯作者: 刘久富

Generation of testing case for model based flight control software of unmanned aerial vehicle

Liu Jiu-fu^{1, 2},Yang Zhong²,Sun De-min¹, Li Zhi-yu²

1.Department of Automation,University of Science & Technology of China,Hefei 230026,China; 2.College of Automation Engineering,Nanjing University of Areonautics and Astronautics,Nanjing 210016,China

Received:2005-07-12 Revised:2005-09-23 Online:2006-07-01 Published:2006-07-01
Contact: Liu Jiu-fu

摘要/Abstract

摘要： 采用虚拟原型技术Statemate工具，应用功能图建立飞行控制器的 “自顶向下”的功能层次模型，应用状态图详细描述飞行控制软件的功能行为。通过仿真验证了飞行控制软件系统功能的正确性。在此基础上产生数据可靠、一致性好的实际飞行控制软件的测试用例，避免了人为产生测试用例的随意性与多样性。基于软件虚拟原型技术的软件验证与测试技术特别适合测试那些没有按此方法开发出来的嵌入式软件。

关键词: 计算机应用, 软件测试, 嵌入式软件, 飞行控制软件, 虚拟原型, 状态图

Abstract: The Statemate, a tool that supports virtual prototype technique was employed to develop a “top to bottom” hierarchical function model of flight controller using activitycharts. It was also applied for detailed description of the behaviors of Flight Control Software (FCS) using statecharts. The validity of the system function of FCS was verified by simulation. Then test cases with reliable data and consistency were generated for the test of actual FCS. This avoids the randomness and variety attributed to individuals who test the FCS. The verification and testing techniques for virtual prototype based software is, in particular, suitable for the test of embedded software which is not developed with the same model.

Key words: computer application, software test, embedded software, flight control software, virtual prototype, statechart

中图分类号:

TP393

刘久富,杨忠,孙德敏,李志宇. 基于模型的飞行控制软件测试用例的生成[J]. 吉林大学学报(工学版), 2006, 36(04): 543-547.

Liu Jiu-fu,Yang Zhong,Sun De-min, Li Zhi-yu. Generation of testing case for model based flight control software of unmanned aerial vehicle[J]. 吉林大学学报(工学版), 2006, 36(04): 543-547.

参考文献

相关文章 15

[1]	刘富,宗宇轩,康冰,张益萌,林彩霞,赵宏伟. 基于优化纹理特征的手背静脉识别系统[J]. 吉林大学学报(工学版), 2018, 48(6): 1844-1850.
[2]	王利民,刘洋,孙铭会,李美慧. 基于Markov blanket的无约束型K阶贝叶斯集成分类模型[J]. 吉林大学学报(工学版), 2018, 48(6): 1851-1858.
[3]	金顺福,王宝帅,郝闪闪,贾晓光,霍占强. 基于备用虚拟机同步休眠的云数据中心节能策略及性能[J]. 吉林大学学报(工学版), 2018, 48(6): 1859-1866.
[4]	赵东,孙明玉,朱金龙,于繁华,刘光洁,陈慧灵. 结合粒子群和单纯形的改进飞蛾优化算法[J]. 吉林大学学报(工学版), 2018, 48(6): 1867-1872.
[5]	刘恩泽,吴文福. 基于机器视觉的农作物表面多特征决策融合病变判断算法[J]. 吉林大学学报(工学版), 2018, 48(6): 1873-1878.
[6]	欧阳丹彤, 范琪. 子句级别语境感知的开放信息抽取方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1563-1570.
[7]	刘富, 兰旭腾, 侯涛, 康冰, 刘云, 林彩霞. 基于优化k-mer频率的宏基因组聚类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1593-1599.
[8]	桂春, 黄旺星. 基于改进的标签传播算法的网络聚类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1600-1605.
[9]	刘元宁, 刘帅, 朱晓冬, 陈一浩, 郑少阁, 沈椿壮. 基于高斯拉普拉斯算子与自适应优化伽柏滤波的虹膜识别[J]. 吉林大学学报(工学版), 2018, 48(5): 1606-1613.
[10]	车翔玖, 王利, 郭晓新. 基于多尺度特征融合的边界检测算法[J]. 吉林大学学报(工学版), 2018, 48(5): 1621-1628.
[11]	赵宏伟, 刘宇琦, 董立岩, 王玉, 刘陪. 智能交通混合动态路径优化算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1214-1223.
[12]	黄辉, 冯西安, 魏燕, 许驰, 陈慧灵. 基于增强核极限学习机的专业选择智能系统[J]. 吉林大学学报(工学版), 2018, 48(4): 1224-1230.
[13]	傅文博, 张杰, 陈永乐. 物联网环境下抵抗路由欺骗攻击的网络拓扑发现算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1231-1236.
[14]	曹洁, 苏哲, 李晓旭. 基于Corr-LDA模型的图像标注方法[J]. 吉林大学学报(工学版), 2018, 48(4): 1237-1243.
[15]	侯永宏, 王利伟, 邢家明. 基于HTTP的动态自适应流媒体传输算法[J]. 吉林大学学报(工学版), 2018, 48(4): 1244-1253.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

基于模型的飞行控制软件测试用例的生成

Generation of testing case for model based flight control software of unmanned aerial vehicle

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 2