教学课程资源库 更多>>

关键词： 测试用例自动生成   软件测试   组合测试算法   蚁群算法  

摘要： 近年来,无人机在社会中起的作用日益重要。航空软件作为机体神经,带动飞机正常运作,确保航行安全。航空软件的特点是实时性和高稳定性,因此对其进行可靠性测试是不可或缺的。软件测试中,最重要的就是测试用例。软件测试用例的自动生成,在降低人工负荷的同时,对测试效率有了高效的提升,此外,对软件开发也有很大的推动作用。综上所述,研究航空软件测试用例自动生成方法是极其有实践意义和理论价值的。本文以在某研究所参与的无人机飞行控制系统软件测试项目为研究基础,对现阶段已有的软件测试用例自动生成方法和航空软件测试领域做了深入分析。在此基础上,考虑到航空软件特点,本文提出了从组合测试出发,在对IPO算法和蚁群算法改进后生成高覆盖率用例集的同时,加入因果图约束算法对航空软件要求的MC/DC标准测试用例进行补充。最终通过软件构造技术,搭建软件平台以自动生成测试用例。具体研究过程如下所示。首先,本文研究了大量测试用例自动生成算法和航空领域中的软件测试方法,并着重对组合测试用例生成理论作了分析。研究了几种组合测试中测试用例集自动生成的方法,包括各自的原理和缺陷,并在IPO算法的基础进行改进,生成基础的两两精简测试用例集,同时加入蚁群算法后将测试组合情况提高到三三组合,进而提高测试用例覆盖率,达到90%左右。此外,加入因果图约束算法来补充MC/DC标准的测试用例集,并最终形成了本文测试用例自动生成理论的基础。其次,本文完成了测试用例自动生成方法后,研究了测试用例自动生成软件框架,并基于此构建了航空软件测试用例自动生成平台,包括预处理模块、测试数据生成模块、测试用例集生成模块和测试用例集管理模块等。该软件平台可以实现航空软件测试用例集自动生成的功能,界面交互性好,方便操作。最后,本文搭建了航空软件的测试环境,采用本文的研究成果,以飞行控制系统软件为对象进行了软件平台应用功能验证和测试用例集覆盖率验证等一系列工作,验证结果达到了最初设定的覆盖率目标,证明了本论文方法的有效性。综上所述,本文从开始的理论研究到软件工程化实现,乃至最后的测试验证工作,都证明本课题方法可以在实现航空软件测试用例自动生成的同时,保证测试用例较高的覆盖率和测试用例集的精简。

关键词： 高阶马尔科夫   软件测试   熵值   测试序列  

摘要： 基于马尔科夫使用模型的软件测试是一种应用广泛的灰盒测试技术,运用此模型进行测试用例自动生成对提高软件测试效率和质量具有重要意义。本文针对已有基于马尔科夫使用模型的测试用例自动生成方法存在的问题,开展了以下几个方面的研究工作:(1)对已有马尔科夫测试用例自动化生成方法进行仿真实验与分析,发现在测试用例生成方面,由于其测试原理依据大数定律,并且忽略了现实中软件运行状态之间的相互关联关系以及测试准则不合理等原因,使得生成的测试用例存在很大的不稳定性,即有时很难覆盖软件运行的所有状态。(2)研究并提出了基于高阶马尔科夫使用模型的测试用例生成方法—MarAutoTC,并应用改进的基于二分查找的快速轮盘赌算法来提高测试用例生成的速度。与现有方法进行对比实验证明,MarAutoTC方法比改进前在用时上减少了约20%,全覆盖比例提高了约18.3%。(3)对测试用例生成的充分性判定准则进行分析,发现以欧式距离或者期望值作为充分性判定准则,也会导致生成的测试用例覆盖不稳定的情况,为此本文将熵值和欧式距离相结合作为充分性判定准则。经过多组实验证明,应用改进的测试充分性判定准则能更节省时间,测试效率更高。(4)运用改进后的测试用例生成方法和充分性判定方法,开发了测试用例生成系统—AutoTC,该系统能够导入UML模型,直接生成测试用例,真正实现了测试用例生成的自动化。最终实验结果表明,MarAutoTC方法对于基于模型的灰盒测试用例自动生成研究具有一定的理论参考价值。同时,AutoTC系统由于能够运用MarAutoTC方法自动生成稳定性较高的测试用例集,对提高测试用例生成的效率和质量具有很大的应用价值。

关键词： 五年制高职   课程设置  

摘要： 中国特色高等职业教育是高等教育发展过程中的一个新类型,必须重视融入以下四个要素:产业要素、行业要素、企业要素、职业要素。根据学生特点,结合以上要素,进行科学、合理的课程设置和开发是我们高职院校专业得到可持续且高效发展的重要保障。

关键词： 动态软件测试   白盒测试   黑盒测试  

摘要： 本文主要介绍了白盒测试和黑盒测试的概念以及这两种测试方法的优缺点,并结合实例说明这两种方法在动态软件中的使用方法,确保测试的效果。

关键词： 软件测试   软件缺陷   回归测试   蚁群算法   测试用例  

摘要： GUI(Graphical User Interface,图形用户界面)软件测试是一种用来验证待测GUI软件功能和规约是否一致的手段。由于传统的基于录制/回放技术的抽象程度低,导致测试脚本难以维护,越来越多的学者开始研究基于模型的GUI软件测试方法。本文从GUI行为模型出发,研究GUI软件测试用例的生成方法,主要的研究工作如下。由于现有的FSM(Finite State Machine,有限状态机)和EFG(Event Flow Graph,事件流图)模型仅仅根据用户界面层的关系对GUI软件进行建模,未考虑控件之间底层依赖关系。本文从代码层和界面层出发对待测软件进行分析,提出了一种GUI测试模型WEHG。针对在有限的时间和资源限制下很难发现全部的GUI软件缺陷的问题,本文设计了一种GUI软件测试用例的生成方法,该方法在WEHG(Event-Hander Graph based on Weight,带权重的事件处理函数)模型的基础上生成带有优先级顺序的测试用例集,能够在相同时间段内发现更多的软件缺陷。考虑到目前大多数GUI软件使用的都是敏捷式开发方法,在每次GUI软件版本更新时,GUI控件都会发生变化。本文使用蚁群算法针对变动的GUI控件新增GUI回归测试用例,该方法根据人工蚂蚁所行走的轨迹,来模拟GUI软件生成新增回归测试用例集的流程。最后本文结合实验验证了基于WEHG模型生成GUI软件测试用例的方法能够有效地提高底层代码的覆盖速度,在执行相同的测试用例数目的时候,使用基于WEHG模型生成测试用例的方法和其他方法相比能够覆盖更多的定义-引用对,同时也能发现更多的软件缺陷。在进行GUI软件回归测试时,基于蚁群算法生成的测试用例集在获得相同的变更控件覆盖率的同时有效地降低了新增的回归测试用例数目。

关键词： 智能电能表   软件测试技术   应用  

摘要： 智能电能表已经得到了广泛的应用,为了保证智能电能表的应用质量,需要根据具体的环境来选择软件测试技术,如果测试技术的应用不当,容易引发电池欠压、谐波、停上电等软件故障,造成参数紊乱、事件记录紊乱、数据丢失、误差超差等一系列的问题.本文就智能电能表软件测试技术的应用展开分析.

关键词： PON   软件测试   自动化   数据分析仪  

摘要： PON(Passive Optical Network,无源光纤网络)产品是当前主流的接入网数据通信设备,为了保证设备实际应用时功能的正确性和产品的可靠性,在产品交付之前需进行系统的测试。PON产品形态多样,支持功能多,局端OLT和终端ONU之间使用PON协议交互通信,因此,对其测试内容除了局端OLT、终端ONU自身独立功能外,还需进行不同厂家设备间的互通性测试,测试工作量大。为了缓减手动测试压力,需引入自动化测试技术来提高测试效率。PON自动化测试应用于回归测试和设备间的互通性测试,将反复执行测试的、提升测试效率明显的、手动测试无法执行的测试用例实现自动化测试。PON产品测试效率的主要制约点是测试环境调整耗费时间、测试工程师能力不足、测试执行速度慢。本文将通过自动化测试环境搭建、自动化测试用例编写、自动化测试工具开发三方面开展研究和实现。固定的、系统的测试环境搭建可在自动化测试工具使用时执行连续测试。通过分析手动测试用例中测试环境的种类分布、环境组成、使用频率,根据测试工程师的操作习惯,结合PON设备的远程控制和与测试仪器的连接方法综合设计实现。自动化测试工具根据测试用例逐个开发测试脚本。在分析手动测试用例基础上,需进一步补充被测设备配置信息、标准参数、仪器控制操作、测试验证点确认和测试结果输出等信息,设计出统一的、系统的自动化测试用例,保障PON产品测试的质量。自动化测试工具用于PON产品测试并自动输出测试结果,经研究选用TCL语言,运用自动化测试脚本技术和虚拟用户技术开发实现。PON自动化测试范围按内容和测试仪器可分为CLI配置与确认类功能测试、单播功能测试、单播性能测试、可靠性测试四部分,通过分析各部分的操作特性设计不同的算法,开发测试仪器控制和测试记录的API,编程实现各测试步骤的自动化操作和结果输出。不同的被测设备在配置上存在差异但功能一致,通过函数化设计,将验证功能正确性的仪器操作和结果输出打包,在进行多款PON设备自动化测试工具开发和维护时可减少工作量。通过本文工作实现了PON产品的自动化测试,OLT和ONU的系统测试时间由原先的5、20个工作日缩短至4、14个工作日,同时覆盖了手动测试无法执行的可靠性测试内容,使用期间未发现严重错测、漏测现象,达到了提升测试效率、测试覆盖率和保障测试质量的目的。

关键词： 微型ROV   控制软件   B/S结构   软件测试   功能模块  

摘要： 我国沿海海岸线以及内陆江河湖泊的水深大多在100米以内，相对于大中型的ROV，微型ROV更能适合我国的实际需求环境。因此，能够在湖泊、河道、近海穿行的以观测功能为主的微型ROV的需求越来越大，它具有体积小、价格低廉、稳定性高的特点。此外，随着人们的娱乐活动的丰富，水下探险及潜水活动对人们的吸引力越来越大，微型ROV在水下娱乐活动中也具有很好的应用前景。　　目前大部分的ROV控制软件采用上位机-下位机模式，上位机采用基于不同操作系统开发的岸基用户程序，下位机采用基于单片机或工控机开发的控制程序。ROV的岸基控制终端需要安装专门的上位机程序，对于普通用户来说，专业门槛较高，不利于ROV岸基控制软件的部署，并且软件升级需要重新安装上位机程序，安装配置过程比较复杂。近年来，***，HTML等技术发展迅速，利用这些技术开发的项目具有开发成本低、开发周期短的特点，符合面向消费级市场的微型ROV的开发需求。将B/S的软件结构引入到微型ROV的岸基控制软件中，能够有效的提升ROV控制便捷性，用户只需要在手机、电脑或平板电脑等便携式移动终端中安装浏览器即可实现对ROV的控制。本课题研究为微型ROV的操作提供方便可靠的软件工具，使微型ROV能够快速高效的应用于实际的水下作业环境，完成水下作业任务。　　为了实现基于B/S结构的微型ROV岸基控制软件，本文首先进行了详细的软件需求分析，通过可行性分析得出岸基控制软件在经济、技术等层面上的可行性，通过详细的功能需求分析明确需要开发的岸基控制软件的详细功能。然后，进行岸基控制软件的概要设计及各功能模块的详细设计，根据岸基控制软件的概要设计及详细功能设计，实现岸基控制软件的开发。微型ROV岸基控制软件采用三层B/S结构设计，前端采用HTML及JavaScript实现，后端采用当前比较流行的***实现，前后端通信采用***实现。最后，本文从岸基控制软件的功能、性能及可靠性三个方面，对岸基控制软件进行了详细的软件测试，验证了微型ROV岸基控制软件的各项功能正常，性能良好，符合设计要求，达到了设计目标。

关键词： 软件测试   嵌入式软件   自动化测试   分布式测试   虚拟仿真  

摘要： 随着嵌入式软件的发展,软件复杂度和规模愈加庞大,这使得嵌入式软件测试面临着更大的挑战。现今的嵌入式软件测试能力依旧低下,现有的嵌入式测试工具与被测程序之间耦合度高且价格昂贵,对目前大部分嵌入式软件来说,满足不了软件系统的测试需求。本文对当下嵌入式软件测试领域研究现状进行分析,针对软件测试水平低下等问题,结合分布式与自动化测试的优势,设计并实现了一个高性能的嵌入式软件自动化测试平台,本文主要研究工作如下:(1)针对基于静态负载均衡的分布式架构中节点任务粒度划分的问题,本文提出了一种基于测试用例需求优先级的划分算法。该算法首先根据测试用例的完整性、复杂性等需求特性量化了测试用例的优先级别,并且以该优先级为标准筛选得到测试任务,完成对节点任务的划分。该算法定义了基于优先级别的任务粒度划分标准,并与传统的未采用节点任务粒度划分的静态分布式测试方法进行试验比较。实验结果表明,基于测试用例需求优先级的划分算法可以有效地解决分布式架构中节点任务粒度划分的问题,大大提高了嵌入式软件测试的效率。(2)为了解决基于行号的插桩策略会因插桩点过多而造成代码膨胀的问题,本文提出了一种基于程序结构化的插桩点约减算法。该算法首先利用源程序结构化特征约减了基于行号策略获得的插桩点,并且在约减后的插桩点插入拥有特定功能的插桩函数,完成对冗余插桩点的约减工作。实验结果表明,对比传统插桩策略,该方法在确保程序测试准确性的同时约减了插桩点的个数,有效降低了因插桩引起的代码膨胀问题,减少了软件测试过程中资源占有率。(3)本文最后设计及实现了一个基于分布式架构的嵌入式软件自动化测试平台。为了解决嵌入式开发运行环境的特殊性,该平台采用虚拟仿真技术构建了软件底层运行环境,利用高性能的分布式测试方案以及自动化测试技术,降低了测试人员的工作强度,提高了测试工作效率。论文以飞控软件系统为实例对平台进行实验。实验结果表明,本文设计的基于分布式架构的嵌入式软件自动化测试平台是稳定且高效的。本文的研究成果,可以有效增强嵌入式软件的自动化程度以及软件测试效率,提高了嵌入式软件的质量。