基于模型的飞控机载软件测试用例自动生成技术研究

作     者：邱晓晗 

作者单位：电子科技大学 

学位级别：硕士

导师姓名：荆华

授予年度：2019年

学科分类：08[工学] 081105[工学-导航、制导与控制] 0835[工学-软件工程] 0811[工学-控制科学与工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主      题：飞控机载软件 测试用例自动生成 组合测试 基于模型的软件开发 

摘      要：随着科技的不断发展,无人机(Unmanned Aerial Vehicle,UAV)的应用日益广泛,其功能也越来越复杂,因而对无人机的硬件与软件系统的要求也越来越高。作为无人机软件系统的核心,飞控机载软件运行的安全稳定性是无人机完成复杂任务的基础保障,而无人机飞控机载软件的测试工作则是保证其能够安全稳定运行的重要手段。测试用例的自动生成可以有效的提高测试效率以及测试效果,并减少人为错误的产生。因此研究飞控机载软件的测试用例自动生成技术并实现自动测试工具具有极为重要的现实意义与应用价值。本文以基于模型的设计与软件开发方法为背景,以成都某飞机设计研究所的某无人机飞控机载软件模型为研究基础,对多种测试用例自动生成方法进行对比分析。在现有贪婪算法的基础上结合蚁群算法,通过对其适应度函数进行优化以及算法参数调优之后,获得了精简的组合测试用例集。在此基础上集合航空软件要求,添加了逻辑覆盖测试用例。最终以生成方法为核心,构建了适用于模型测试流程的测试工具,并应用于实际飞控机载软件模型的测试工作中。具体研究过程为:首先,分别对几种测试用例生成方法进行对比研究,比较了各类算法的优劣,并据此提出了一种基于蚁群算法的组合测试用例生成方法,首先对算法中的信息素更新机制与适应度函数进行改进,并在参数调优之后将该方案与其他算法进行对比实验,通过实验证明该方法能够生成更加精简的组合测试用例集。随之,对航空软件测试关心的逻辑覆盖测试进行了研究,探索出了能够对组合测试用例集补充生成MC/DC逻辑覆盖测试的用例生成方法。其次,使用M语言设计实现了一套符合基于模型软件开发流程的可视化测试工具。该工具主要包括测试用例与模型读取功能、测试用例生成功能、测试用例管理功能、测试用例自动执行与报告生成功能,最后将该工具打包发布为MATLAB内的APP,方便安装与工具的版本管理。最后,论文应用测试用例自动生成工具,以某无人机飞控机载软件模型为被测对象,搭建实验环境,最终得到了优于手工编写用例的覆盖率结果,同时测试工具的功能也得到了验证。综上所述,本文经过理论研究到测试工具实现,再到最后阶段飞控机载软件模型的搭建以及测试、验证,证明了本文所提研究方法的科学性、有效性。