【摘 要】
：
随着科学技术的不断发展,无人机应用领域越来越广泛。飞控系统作为无人机的核心系统之一,对其进行充分而有效的测试是非常重要的。由于飞控系统的逻辑复杂、实时性强等特性,在测试过程中,其测试用例或测试脚本的编写仍采用手工方式居多。因而,本文研究的飞控系统测试用例自动生成方法是十分有意义的。本文在研究了一些现有的自动化测试技术和测试用例的生成方法的基础上,选用了基于UML状态图的方法生成飞控系统的测试用例。
论文部分内容阅读
随着科学技术的不断发展,无人机应用领域越来越广泛。飞控系统作为无人机的核心系统之一,对其进行充分而有效的测试是非常重要的。由于飞控系统的逻辑复杂、实时性强等特性,在测试过程中,其测试用例或测试脚本的编写仍采用手工方式居多。因而,本文研究的飞控系统测试用例自动生成方法是十分有意义的。本文在研究了一些现有的自动化测试技术和测试用例的生成方法的基础上,选用了基于UML状态图的方法生成飞控系统的测试用例。但UML状态图描述具有时间特性的飞控系统时略有不足,本文改进了UML状态图生成测试用例方法,提出了实时扩展后的UML状态图自动生成飞控系统测试用例的方法。（1）分析了基于UML状态图在描述时间特性方面的不足,提出了一种实时扩展方案,并详细介绍了实时扩展方案的具体内容:1)引入时钟;2)定义时间约束的表示方法;3)描述受时间约束的行为。最后给出了实时扩展后的飞控系统UML状态图。（2）分析UML状态图生成测试用例的方法,对改进后的基于实时扩展后的UML状态图生成测试用例的方法该方法中对生成测试路径和生成测试数据的方法进行了详细说明。在生成测试路径时,采用时间区域等价划分的方法处理时间约束,构造迁移等价类,生成测试迁移树,通过深度遍历测试迁移树得到测试路径。在生成测试数据时,先对飞控系统进行静态建模,给出输入变量的描述,最后利用测试用例生成算法得到测试用例集。（3）完成了飞控系统测试用例自动生成工具的设计,对实时扩展后的飞控系统UML状态图自动生成测试用例的方法进行了系统实现,完成了对飞控系统部分测试用例的自动生成,测试效果良好,说明了该方法的有效性。
其他文献
视频超分辨率技术对多幅低分辨率输入图像进行运动补偿、信息融合等处理,进而恢复丢失的高频图像细节,重构一幅逼真的高分辨率图像。该技术广泛应用于多媒体通信、视频娱乐、卫星遥感监测和医疗图像分析等领域。视频超分辨率的目标是寻找高效、精准的算法来提升视频质量。目前,基于卷积神经网络的视频超分辨率算法平等地对待运动补偿后的多个视频帧,并且存在图像几何结构畸变、尖锐边缘等问题,导致高频细节丢失,超分出的图像较
现有电子地图应用软件,如百度地图、高德地图、谷歌地图,只提供“找到身边最近的k个兴趣点（Point Of Interests,POIs）”或“列出从点s到点d的公交乘车方案”的服务,无法直接回答“找到N次公交换乘内最先到达的k个POIs”的查询请求。这种类型的查询本质是在公共交通网络上找到k近邻（k Nearest Neighbor,k NN）结果,即在带有线路和相应发车时刻表的公共交通路网中,查
《周易》作为中国艺术美学思想的重要哲学依据,历代书法以及绘画理论都将其中的一部分命题和言辞加以引证和阐释,甚至某些提议的命题具有的形象性和哲学性都对艺术的创作和理论的形成产生了深厚的影响力。崔瑗曾在东汉时期写了《草书势》,作为中国书法史上首篇书法理论著作,其中最重要的一点就是“法象”概念的提出。而“法象”概念的本质则是以《周易·系辞》中“法象”论为基准所形成的。纵观书法史,书法理论审美意识觉醒的时
八大山人的绘画极为世人所称赞,他的绘画作品中,又属花鸟画最为精妙绝伦。其花鸟画作品极具鲜明的个人特色,笔墨高妙,意境冷逸,涵融了蓬勃的宇宙意识与生命意趣,富有独特的空灵之美。历来关于八大山人个人及书画等相关的研究成果颇丰,但相对而言,对其花鸟画艺术作品的空灵美进行全面、专门、系统的讨论却比较少。为此,本文拟对八大山人花鸟画艺术的空灵美的美学特色进行探讨,分析其花鸟画作中空灵美的具体表现及形成的客观
三维稠密地图在机器人导航、三维重建、避障、虚拟现实等领域都具有广泛的应用。本文构建的三维稠密地图是基于视觉SLAM（VSLAM）形成的点云地图。本文使用KINECT深度相机作为主要传感器。本文分别对机器人系统模型和视觉SLAM系统展开深入研究。主要完成以下工作:首先,研究了机器人的操作系统（ROS）以及其各节点间的通讯机制、搭建了机器人运动底盘并推导出机器人的运动模型。然后,针对位姿估计存在误差较
随着大数据时代的到来,数据查询服务的语义多样性和查询性能在过去的十几年里取得了显著的提升,同时也对数据查询服务中数据库的可用性提出了更高的要求。为了在享受高可用性数据查询服务的同时,减少数据服务的运营和管理成本,数据拥有者通常会将其数据服务外包到公用云平台中,然而,这可能会引起严重的隐私安全问题。本文针对数据查询“why-not”问题解释在云计算平台中所面临的隐私保护需求进行了深入的探究与分析,在
培根的肖像画以夸张扭曲的面貌让人熟知,这样独具个性化的艺术语言是他用了毕生精力探索而成的。他的肖像画饱含戏剧性以及隐喻性魅力,因此我们不难发现这种魅力和他的个人经历以及自我艺术观念分不开的。培根的一生具有很丰富的阅历并且拥有开阔的视野,他的绘画启蒙来自现代主义毕加索的作品,后来又向古希腊古罗马以及文艺复兴时期的米开朗琪罗,再到之后的伦勃朗、委拉斯凯兹、塞尚等流派大师学习。除此之外培根的创作题材涉猎
油彩在中国古代漆艺中的运用,通常被一些学者引以论证“中国早期油画”“中国传统油画”等一些问题,那么从漆艺的角度,如何看待中国古代的油彩绘饰呢?本论文第一章通过概念介绍,首先区分了“油彩”与“油画”、“油彩”与“漆艺”之间的内涵与关系,为全文论述奠定理论基础。第二章通过油彩绘饰技艺在古代漆器、古代建筑等与漆艺相关作品中的运用,具体阐释了何为中国古代漆艺中的油彩绘饰技艺,以及油彩绘饰技艺在古代相关文献
无人机在执行目标追踪任务的过程中,需要根据目标的状态实时协调控制自身的运动行为。本文主要研究了多无人机系统实时追踪单个与多个目标的问题,并在追踪过程中始终保持动态网络连通性和避免碰撞,主要工作如下:（1）针对单目标追踪问题,本文提出一种具有鲁棒性和实时性的切换式多无人机协同目标追踪策略（Switched Target Tracking Strategy based on Multi-UAVs Co
钱选身处宋元之际,其山水画艺术风格及审美价值取向也随着改朝换代、社会思想的更替而产生变化。他的艺术创作中结合了自身的文人审美趣味,使其山水画表现出不同于前几代人的绘画风格。钱选的山水画是宋元山水画发展中的一个重要组成部分,因此对钱选山水画风格及审美取向的研究具有一定的意义。元代特殊的社会环境促使文人归隐天然山林之中,以摆脱功利、超脱世俗的心态走向大自然,有着隐逸思想的文人画家成为了山水画的创作主体