导读:本文包含了测试生成论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:测试,软件,路径,模型,测试数据,条件,规约。
测试生成论文文献综述
江志强,王金波,王晓华[1]（2019）在《基于特征模型和遗传算法的测试用例自动生成》一文中研究指出一个好的测试用例集,意味着通过较小的测试开销实现较高的测试效率。为实现这一目标,一种基于特征模型的测试用例生成方法被提出,该方法在特征模型的基础上,结合组合测试策略和遗传算法,自动生成最小测试用例集。实验表明,该方法能够很好地实现特征组合覆盖,生成覆盖率良好,同时能够有效检错的测试用例集。(本文来源于《计算机与数字工程》期刊2019年12期）
冯婷婷,刘振宇[2]（2019）在《基于UML活动图模型测试场景自动生成的优化》一文中研究指出软件建模和软件测试在软件的开发过程之中起着非常重要的作用,目前关于UML模型生成测试用例的研究成为研究的热点之一,为了提高UML活动图模型测试场景的生成效率,优化了UML活动图模型生成测试场景的方法,还增加了活动图中泳道的使用。通过创建UML活动图模型,首先把活动图简化,并且把简化后的活动图转成有向图,通过对有向图进行两级遍历得到完整的测试场景,再通过对活动节点和转移边赋予权值,计算每一个测试场景的总权值优化测试场景的执行顺序。通过改进活动图生成测试场景的方法,提高了测试的效率,使得bug的发现时间提前,并且减少了场景的冗余。(本文来源于《电子设计工程》期刊2019年24期）
刘艳平,李海浩[3]（2019）在《基于序列图和状态图的软件测试用例生成方法》一文中研究指出为提高软件特别是复杂软件的测试用例的设计效率和充分性,提出了一种基于序列图和状态图关联关系生成测试用例的方法。与一般的基于单一UML图生成测试用例的方面相比,该方法结合了UML序列图和状态图,首先通过UML序列图对软件系统的不同对象的消息交互序列建模,根据消息序列生成消息迁移路径,然后通过UML状态图对单一对象的状态迁移分别建模,建立对象接收消息时的初始状态和发送消息时的终止状态之间的迁移关系,并连接前后消息,形成包含序列图消息序列和状态图迁移关系的组合路径,最后根据组合路径生成测试用例。实例表明,该方法可以有效发现软件在处理多对象交互情景下的缺陷。(本文来源于《电子设计工程》期刊2019年24期）
杨向飞,赵子涵,郑中,向博,吴跃康[4]（2019）在《基于神经网络专家系统的智能变电站检修测试安措自动生成方法研究》一文中研究指出由于智能变电站中设备耦合关系复杂,现有的依靠人工拟票的检修测试安全措施主要依靠检修测试人员的经验,受测试人员水平的限制,容易漏项错项,引发检修过程中的安全事故。对此,该文提出基于神经网络专家系统的自动生成检修测试安措新方法,构建智能变电站检修测试任务中的通用规则模型,并利用神经网络推理计算改善现有专家系统的局限性,实现了自动生成优化的检修测试方案,提出明确的操作计划及设备的陪停措施。该方法可用于指导变电站检修工作人员正确开具设备检修测试安措票,以此降低人为因素造成的设备误动作或检修事故发生的概率。(本文来源于《中国测试》期刊2019年11期）
王珏,蒋炎岩,许畅,马晓星,吕建[5]（2019）在《Android应用测试输入自动生成技术》一文中研究指出软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有效性.由于Android应用独有的特性,自动为其生成测试输入存在独特的挑战.为了应对这一挑战,已有许多Android应用测试输入自动生成技术被提出.本文提出Android应用测试输入自动生成技术的描述框架,包括测试输入自动生成技术的3个维度(分别为搜索空间的表示、候选输入的生成、候选输入的评估),并讨论了测试输入自动生成技术在这3个维度采用策略的两个评价指标(即充分性与高效性).借助这一全新描述框架,本文对已有技术进行分析和总结,讨论现有技术的长处和不足,并对未来可能的研究方向给予展望.(本文来源于《中国科学:信息科学》期刊2019年10期）
袁光辉,刘兆春[6]（2019）在《基于混合遗传算法在测试用例生成中的研究》一文中研究指出采用智能优化算法求解测试用例生成问题是软件测试自动化领域的研究热点。针对标准遗传算法在测试用例生成中的不足,提出基于混合遗传算法的生成方法。该算法结合分支覆盖和路径覆盖两个指标对适应度函数进行优化设计,以加快数据的优化过程。通过调节因子对自适应的交叉和变异算子进行改进,并引入模拟退火机制,提高算法的局部搜索能力。实验表明,该算法在测试用例生成中的求解质量和运行效率均优于标准遗传算法。(本文来源于《黑龙江工业学院学报(综合版)》期刊2019年10期）
程浩,周辉,钱巨[7]（2019）在《约束覆盖导向的Web服务测试数据生成》一文中研究指出Web服务广泛应用于复杂信息系统的构建.为了保证Web服务的质量,目前已有大量的工作致力于Web服务测试技术的研究,其中,基于规约的测试已被证明是有效的,且易于使用,但现有的基于规约的Web服务测试方法很难生成高覆盖率的测试数据,也不能为具有复杂关联关系的变量生成测试数据.为此,针对Web服务的测试数据生成问题,本文提出了一种基于规约约束的新方法,使用一阶逻辑公式表示服务输入参数之间的约束,可以处理不同参数之间各种复杂的关联关系,并使用Z3约束求解器为服务输入自动生成数据;然后,提出了几种规约约束级测试覆盖准则,并以此为基础提出了新的Web服务测试数据生成算法.最后,通过测试两个典型的Web服务,证明本文提出的方法能够生成覆盖率较高的测试集,并且具有较高的生成效率.(本文来源于《小型微型计算机系统》期刊2019年10期）
唐嘉营,牟永敏[8]（2019）在《基于MCDC的测试用例生成方法》一文中研究指出软件测试中关键的步骤就是设计和生成高效、准确的测试用例,通过自动生成测试用例可以有效解决这一问题。提出基于修正条件判定组合覆盖准则(MCDC)的测试用例生成方法。对程序源代码进行预处理,利用控制树模型生成路径集的控制树,基于控制树所设计的修正条件判定组合覆盖准则对控制树进行约减,分别提取控制树上的根结点到每个叶子结点的路径约束信息,根据路径约束信息生成测试用例。实验结果表明,所提方法在生成测试用例的个数及测试用例集对MCDC覆盖率方面都有一定提高。(本文来源于《计算机工程与设计》期刊2019年10期）
杨梦萌,刘梦[9]（2019）在《接口测试数据生成工具的设计与实现》一文中研究指出软件接口测试是软件测试的一个重要方面。本文通过接口测试工作的实践,探讨研究了接口测试数据生成工具的设计与实现。该工具的研制有效地减少了软件测试人员接口测试的工作量,提高了接口测试工作的效率。(本文来源于《科技经济导刊》期刊2019年28期）
郑华利,刘钊远,田野[10]（2019）在《一种基于符号执行的测试用例生成方法》一文中研究指出针对符号执行中存在的路径爆炸问题,提出一种冗余路径删除方法,该方法利用Hoare逻辑中的后置条件引导符号执行以生成有效的测试用例。首先利用最弱前置条件来计算已探索的路径,然后通过后置条件引导符号执行以识别程序中多个共享的路径后缀,并在测试用例生成时进行消除。最后通过对多个基准程序进行实验,结果表明论文方法在一定程度上能够减少程序的路径探索数目和执行时间,削弱了符号执行中的路径爆炸问题。(本文来源于《计算机与数字工程》期刊2019年09期）
测试生成论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
软件建模和软件测试在软件的开发过程之中起着非常重要的作用,目前关于UML模型生成测试用例的研究成为研究的热点之一,为了提高UML活动图模型测试场景的生成效率,优化了UML活动图模型生成测试场景的方法,还增加了活动图中泳道的使用。通过创建UML活动图模型,首先把活动图简化,并且把简化后的活动图转成有向图,通过对有向图进行两级遍历得到完整的测试场景,再通过对活动节点和转移边赋予权值,计算每一个测试场景的总权值优化测试场景的执行顺序。通过改进活动图生成测试场景的方法,提高了测试的效率,使得bug的发现时间提前,并且减少了场景的冗余。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试生成论文参考文献
[1].江志强,王金波,王晓华.基于特征模型和遗传算法的测试用例自动生成[J].计算机与数字工程.2019
[2].冯婷婷,刘振宇.基于UML活动图模型测试场景自动生成的优化[J].电子设计工程.2019
[3].刘艳平,李海浩.基于序列图和状态图的软件测试用例生成方法[J].电子设计工程.2019
[4].杨向飞,赵子涵,郑中,向博,吴跃康.基于神经网络专家系统的智能变电站检修测试安措自动生成方法研究[J].中国测试.2019
[5].王珏,蒋炎岩,许畅,马晓星,吕建.Android应用测试输入自动生成技术[J].中国科学:信息科学.2019
[6].袁光辉,刘兆春.基于混合遗传算法在测试用例生成中的研究[J].黑龙江工业学院学报(综合版).2019
[7].程浩,周辉,钱巨.约束覆盖导向的Web服务测试数据生成[J].小型微型计算机系统.2019
[8].唐嘉营,牟永敏.基于MCDC的测试用例生成方法[J].计算机工程与设计.2019
[9].杨梦萌,刘梦.接口测试数据生成工具的设计与实现[J].科技经济导刊.2019
[10].郑华利,刘钊远,田野.一种基于符号执行的测试用例生成方法[J].计算机与数字工程.2019
论文知识图
