导读:本文包含了自动测试生成论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:测试,自动生成,算法,建模,软件,模型,自动机。
自动测试生成论文文献综述
冯婷婷,刘振宇[1]（2019）在《基于UML活动图模型测试场景自动生成的优化》一文中研究指出软件建模和软件测试在软件的开发过程之中起着非常重要的作用,目前关于UML模型生成测试用例的研究成为研究的热点之一,为了提高UML活动图模型测试场景的生成效率,优化了UML活动图模型生成测试场景的方法,还增加了活动图中泳道的使用。通过创建UML活动图模型,首先把活动图简化,并且把简化后的活动图转成有向图,通过对有向图进行两级遍历得到完整的测试场景,再通过对活动节点和转移边赋予权值,计算每一个测试场景的总权值优化测试场景的执行顺序。通过改进活动图生成测试场景的方法,提高了测试的效率,使得bug的发现时间提前,并且减少了场景的冗余。(本文来源于《电子设计工程》期刊2019年24期）
江志强,王金波,王晓华[2]（2019）在《基于特征模型和遗传算法的测试用例自动生成》一文中研究指出一个好的测试用例集,意味着通过较小的测试开销实现较高的测试效率。为实现这一目标,一种基于特征模型的测试用例生成方法被提出,该方法在特征模型的基础上,结合组合测试策略和遗传算法,自动生成最小测试用例集。实验表明,该方法能够很好地实现特征组合覆盖,生成覆盖率良好,同时能够有效检错的测试用例集。(本文来源于《计算机与数字工程》期刊2019年12期）
杨向飞,赵子涵,郑中,向博,吴跃康[3]（2019）在《基于神经网络专家系统的智能变电站检修测试安措自动生成方法研究》一文中研究指出由于智能变电站中设备耦合关系复杂,现有的依靠人工拟票的检修测试安全措施主要依靠检修测试人员的经验,受测试人员水平的限制,容易漏项错项,引发检修过程中的安全事故。对此,该文提出基于神经网络专家系统的自动生成检修测试安措新方法,构建智能变电站检修测试任务中的通用规则模型,并利用神经网络推理计算改善现有专家系统的局限性,实现了自动生成优化的检修测试方案,提出明确的操作计划及设备的陪停措施。该方法可用于指导变电站检修工作人员正确开具设备检修测试安措票,以此降低人为因素造成的设备误动作或检修事故发生的概率。(本文来源于《中国测试》期刊2019年11期）
王珏,蒋炎岩,许畅,马晓星,吕建[4]（2019）在《Android应用测试输入自动生成技术》一文中研究指出软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有效性.由于Android应用独有的特性,自动为其生成测试输入存在独特的挑战.为了应对这一挑战,已有许多Android应用测试输入自动生成技术被提出.本文提出Android应用测试输入自动生成技术的描述框架,包括测试输入自动生成技术的3个维度(分别为搜索空间的表示、候选输入的生成、候选输入的评估),并讨论了测试输入自动生成技术在这3个维度采用策略的两个评价指标(即充分性与高效性).借助这一全新描述框架,本文对已有技术进行分析和总结,讨论现有技术的长处和不足,并对未来可能的研究方向给予展望.(本文来源于《中国科学:信息科学》期刊2019年10期）
于笳韵,刘传才[5]（2019）在《一种面向路径的测试数据自动生成的组合方法》一文中研究指出在研究面向路径的测试数据自动生成时,目前得到广泛应用的几种方法仍存在不少问题,算法效率普遍低下。为此,提出一种组合优化粒子群算法和蚁群算法的方法:在算法初期,先对粒子群算法作降阶操作,并利用粒子群优化算法生成初步测试结果。然后针对每个粒子的局部搜索过程,引入信息素机制以有效地保证搜索过程的多样性,进而防止搜索过程"早熟"而陷入局部最优。(本文来源于《计算机与数字工程》期刊2019年08期）
宋爽,陈跃东[6]（2019）在《基于时间自动机模型的区域控制器测试序列自动生成方法（英文）》一文中研究指出针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的时间自动机模型,并利用UPPAAL对模型的正确性进行验证分析;然后,解析时间自动机模型文件,提取状态信息和变迁条件,生成测试案例集;最后,根据测试案例的串接条件,利用改进的深度优先搜索算法将测试案例串接成测试序列。对比区域控制器控制列车在其管辖范围内正常运行功能人工生成的测试序列和自动生成的测试序列,结果证明,该测试序列生成方法可行,且能够有效提高测试序列生成效率。(本文来源于《Journal of Measurement Science and Instrumentation》期刊2019年03期）
李冠军,杨清祥,白鸿钧[7]（2019）在《基于LKJ软件测试用例自动生成的技术研究》一文中研究指出为解决列车运行监控装置(LKJ)自动化测试中测试用例编辑和维护困难的问题,利用关键信息抽象和图形建模等方法对LKJ软件测试用例自动生成技术进行研究。通过对测试用例进行模块划分、参数设计和程序流程图方式建模,实现测试用例的批量生成。该技术已在LKJ-15S的自动化仿真测试系统中得到应用,经验证,可以提高测试用例编写效率并缩减约90%的冗余用例。(本文来源于《铁路计算机应用》期刊2019年07期）
黄钊,黄曙光,邓兆琨,黄晖[8]（2019）在《基于SEH的漏洞自动检测与测试用例生成》一文中研究指出SEH即结构化异常处理,是Windows操作系统提供给程序设计者处理程序错误或异常的途径。然而SEH的链式处理方式使得程序中可能存在相应漏洞。针对该问题,为提升程序安全性,提出一种基于SEH的漏洞自动测试用例生成方法。首先判断程序是否存在基于SEH被攻击的漏洞风险性,若存在则构建和调整测试用例约束,并自动求解生成相应测试用例。该方法一方面扩展了当前的自动测试用例生成模式,另一方面可在GS保护开启时仍能生成有效测试用例。最后通过实验验证了该方法的有效性。(本文来源于《计算机科学》期刊2019年07期）
苗晓旭,胡玉露,徐豪,曾佩杰[9]（2019）在《基于改进的蚁群算法的测试数据自动生成方法》一文中研究指出本文设计了测试数据自动生成模型,提出一种基于改进的蚁群算法的测试数据自动生成方法。该方法在传统蚁群算法的概率算子中引入相似度影响因子,增加了算法的全局搜索能力。通过叁角形判别问题,对改进的算法与传统蚁群算法对比分析。实验结果表明,该算法相较传统蚁群算法具有搜索效率高、全局搜索能力强的特点,在测试数据自动生成问题中具有较强的可行性。(本文来源于《电子技术与软件工程》期刊2019年13期）
梁卓杰[10]（2019）在《测试用例自动生成算法设计及自动化测试平台构建》一文中研究指出随着软件系统的复杂性和规模的增长,测试需要越来越多的时间和人力,软件测试所需要的成本占据着整个项目开发成本的40%到50%,所以如何降低测试成本,提高测试效率受到了人们的广泛关注。然而传统的测试方法是基于人工操作的,效率极其低下,成本高昂,且没有办法满足规模庞大功能复杂的软件的测试要求。测试过程主要由测试用例生成、测试执行和测试评估叁个部分组成。与其他两部分相比,测试用例的生成更具挑战性和难度。本文主要针对测试用例生成部分展开研究,以达到提高测试质量,降低人工成本的目的。UML活动图描述了活动的顺序或并发控制流,它们可以用来建模一组对象的动态方面,或者操作的控制流,UML活动图可以用作驱动测试用例生成的模型。而遗传算法以其简单、有效的特点被选为优化技术,将遗传算法应用到软件测试方面也是一个研究热点。基于模型的回归测试更是确保软件开发可靠性的一项重要活动。本文以测试用例自动生成和回归测试用例选取为核心,先从活动图的形式化定义开始,研究了活动图的建立规则以及活动图中对循环结构和并发结构的处理,接着比对现有的测试用例生成算法,提出了UML活动图和遗传算法相结合的测试用例生成方法;主要过程是:首先使用UML活动图模型对系统建模,将建立好的活动图模型转化为有向图,最后使用遗传算法遍历有向图生成测试用例。另外,对于回归测试用例生成方面,本文提出一种模型比对的方法,从测试用例库中选择可重测的用例,首先对新版本的被测系统建立新的活动图模型,然后将新版本活动图模型与老版本活动图模型相比较,通过对节点的分类、路径的分类、用例的分类来挑选生成回归测试用例。最后本文设计实现了测试用例、回归测试用例自动生成系统,与人工测试相比,降低了测试成本,提升了测试用例覆盖范围、能准确找到回归测试影响范围,提高了软件测试的质量。(本文来源于《北京交通大学》期刊2019-06-01）
自动测试生成论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
一个好的测试用例集,意味着通过较小的测试开销实现较高的测试效率。为实现这一目标,一种基于特征模型的测试用例生成方法被提出,该方法在特征模型的基础上,结合组合测试策略和遗传算法,自动生成最小测试用例集。实验表明,该方法能够很好地实现特征组合覆盖,生成覆盖率良好,同时能够有效检错的测试用例集。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
自动测试生成论文参考文献
[1].冯婷婷,刘振宇.基于UML活动图模型测试场景自动生成的优化[J].电子设计工程.2019
[2].江志强,王金波,王晓华.基于特征模型和遗传算法的测试用例自动生成[J].计算机与数字工程.2019
[3].杨向飞,赵子涵,郑中,向博,吴跃康.基于神经网络专家系统的智能变电站检修测试安措自动生成方法研究[J].中国测试.2019
[4].王珏,蒋炎岩,许畅,马晓星,吕建.Android应用测试输入自动生成技术[J].中国科学:信息科学.2019
[5].于笳韵,刘传才.一种面向路径的测试数据自动生成的组合方法[J].计算机与数字工程.2019
[6].宋爽,陈跃东.基于时间自动机模型的区域控制器测试序列自动生成方法（英文）[J].JournalofMeasurementScienceandInstrumentation.2019
[7].李冠军,杨清祥,白鸿钧.基于LKJ软件测试用例自动生成的技术研究[J].铁路计算机应用.2019
[8].黄钊,黄曙光,邓兆琨,黄晖.基于SEH的漏洞自动检测与测试用例生成[J].计算机科学.2019
[9].苗晓旭,胡玉露,徐豪,曾佩杰.基于改进的蚁群算法的测试数据自动生成方法[J].电子技术与软件工程.2019
[10].梁卓杰.测试用例自动生成算法设计及自动化测试平台构建[D].北京交通大学.2019
论文知识图
