导读:本文包含了测试用例论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:测试,条件,路径,组合,软件,模型,真值。
测试用例论文文献综述
江志强,王金波,王晓华[1]（2019）在《基于特征模型和遗传算法的测试用例自动生成》一文中研究指出一个好的测试用例集,意味着通过较小的测试开销实现较高的测试效率。为实现这一目标,一种基于特征模型的测试用例生成方法被提出,该方法在特征模型的基础上,结合组合测试策略和遗传算法,自动生成最小测试用例集。实验表明,该方法能够很好地实现特征组合覆盖,生成覆盖率良好,同时能够有效检错的测试用例集。(本文来源于《计算机与数字工程》期刊2019年12期）
刘艳平,李海浩[2]（2019）在《基于序列图和状态图的软件测试用例生成方法》一文中研究指出为提高软件特别是复杂软件的测试用例的设计效率和充分性,提出了一种基于序列图和状态图关联关系生成测试用例的方法。与一般的基于单一UML图生成测试用例的方面相比,该方法结合了UML序列图和状态图,首先通过UML序列图对软件系统的不同对象的消息交互序列建模,根据消息序列生成消息迁移路径,然后通过UML状态图对单一对象的状态迁移分别建模,建立对象接收消息时的初始状态和发送消息时的终止状态之间的迁移关系,并连接前后消息,形成包含序列图消息序列和状态图迁移关系的组合路径,最后根据组合路径生成测试用例。实例表明,该方法可以有效发现软件在处理多对象交互情景下的缺陷。(本文来源于《电子设计工程》期刊2019年24期）
张伟[3]（2019）在《基于ALM的测试用例设计与管理应用研究》一文中研究指出测试用例的质量对于测试的覆盖率、测试执行的效率、发现缺陷的数量具有指导性作用。文章结合着Web软件系统测试案例,介绍了功能测试用例的设计过程以及使用ALM管理测试用例的思想及相关操作。(本文来源于《科技创新与应用》期刊2019年34期）
林双才[4]（2019）在《基于MC/DC覆盖的最小测试用例集设计》一文中研究指出单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,而不选择条件判定覆盖和组合条件覆盖作为覆盖率评判标准,同时重点介绍了如何设计出满足修正条件判定覆盖的最小测试用例集的两种方法 :真值对法、唯一原因法。(本文来源于《电子测试》期刊2019年23期）
左万娟,虞砺琨,王小丽,黄晨[5]（2019）在《航天嵌入式软件测试用例典型设计缺陷研究》一文中研究指出作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷;针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺陷,分别予以分析,并进行缺陷修正;工程实践证明,这些缺陷的发生率高,具有典型性;修正这些缺陷后,可以有效检出软件设计缺陷;与用例执行后的覆盖率统计数据分析相结合,可以有效提高测试充分性。(本文来源于《计算机测量与控制》期刊2019年10期）
袁光辉,刘兆春[6]（2019）在《基于混合遗传算法在测试用例生成中的研究》一文中研究指出采用智能优化算法求解测试用例生成问题是软件测试自动化领域的研究热点。针对标准遗传算法在测试用例生成中的不足,提出基于混合遗传算法的生成方法。该算法结合分支覆盖和路径覆盖两个指标对适应度函数进行优化设计,以加快数据的优化过程。通过调节因子对自适应的交叉和变异算子进行改进,并引入模拟退火机制,提高算法的局部搜索能力。实验表明,该算法在测试用例生成中的求解质量和运行效率均优于标准遗传算法。(本文来源于《黑龙江工业学院学报(综合版)》期刊2019年10期）
李宁,蒋明睿[7]（2019）在《基于思维导图的测试用例设计平台的实现与应用》一文中研究指出测试用例设计是软件测试过程中的一项重要工作,直观、高效的测试设计工具能够有效提升测试用例设计的效率。本文针对软件测试用例设计的特点,详细介绍了基于思维导图工具的测试设计工具的实现方法,通过对思维导图工具的二次开发,在保留思维导图图形化、结构化等优点的基础上,实现了测试用例一键导出、一键导入,自动统计、测试设计参数快速替换等功能,有效提高了测试设计效率。绪论:软件测试是使用人工和自动手段来运行或测试某个系统的过程,其目的在于检验它是否满足规定的需求。测试用例设计是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果,测试用例设计决定了软件测试的覆盖率和测试质量,是软件测试过程中最重要的一个环节。(本文来源于《电子世界》期刊2019年19期）
唐嘉营,牟永敏[8]（2019）在《基于MCDC的测试用例生成方法》一文中研究指出软件测试中关键的步骤就是设计和生成高效、准确的测试用例,通过自动生成测试用例可以有效解决这一问题。提出基于修正条件判定组合覆盖准则(MCDC)的测试用例生成方法。对程序源代码进行预处理,利用控制树模型生成路径集的控制树,基于控制树所设计的修正条件判定组合覆盖准则对控制树进行约减,分别提取控制树上的根结点到每个叶子结点的路径约束信息,根据路径约束信息生成测试用例。实验结果表明,所提方法在生成测试用例的个数及测试用例集对MCDC覆盖率方面都有一定提高。(本文来源于《计算机工程与设计》期刊2019年10期）
王敏,马敏,张志[9]（2019）在《基本路径测试用例设计的改进方法》一文中研究指出基于路径字符串组合的基本路径集求解算法以简单的字符串处理实现了基本路径集的求解,但该算法没有考虑判断语句的条件拆分问题。提出采用决策表法解决基本路径集求解的条件拆分问题,在扫描被测程序时提取判断语句信息,将含多个条件的判断语句转化为一个决策表节点,生成含决策表节点的T基本路径集;根据提取的判断语句信息得到因果表达式,生成决策表,依据决策表生成规则路径集,按照一定规则将T基本路径集与规则路径集进行组合,则可生成满足条件覆盖的基本路径集。(本文来源于《计算机应用与软件》期刊2019年10期）
郑华利,刘钊远,田野[10]（2019）在《一种基于符号执行的测试用例生成方法》一文中研究指出针对符号执行中存在的路径爆炸问题,提出一种冗余路径删除方法,该方法利用Hoare逻辑中的后置条件引导符号执行以生成有效的测试用例。首先利用最弱前置条件来计算已探索的路径,然后通过后置条件引导符号执行以识别程序中多个共享的路径后缀,并在测试用例生成时进行消除。最后通过对多个基准程序进行实验,结果表明论文方法在一定程度上能够减少程序的路径探索数目和执行时间,削弱了符号执行中的路径爆炸问题。(本文来源于《计算机与数字工程》期刊2019年09期）
测试用例论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为提高软件特别是复杂软件的测试用例的设计效率和充分性,提出了一种基于序列图和状态图关联关系生成测试用例的方法。与一般的基于单一UML图生成测试用例的方面相比,该方法结合了UML序列图和状态图,首先通过UML序列图对软件系统的不同对象的消息交互序列建模,根据消息序列生成消息迁移路径,然后通过UML状态图对单一对象的状态迁移分别建模,建立对象接收消息时的初始状态和发送消息时的终止状态之间的迁移关系,并连接前后消息,形成包含序列图消息序列和状态图迁移关系的组合路径,最后根据组合路径生成测试用例。实例表明,该方法可以有效发现软件在处理多对象交互情景下的缺陷。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试用例论文参考文献
[1].江志强,王金波,王晓华.基于特征模型和遗传算法的测试用例自动生成[J].计算机与数字工程.2019
[2].刘艳平,李海浩.基于序列图和状态图的软件测试用例生成方法[J].电子设计工程.2019
[3].张伟.基于ALM的测试用例设计与管理应用研究[J].科技创新与应用.2019
[4].林双才.基于MC/DC覆盖的最小测试用例集设计[J].电子测试.2019
[5].左万娟,虞砺琨,王小丽,黄晨.航天嵌入式软件测试用例典型设计缺陷研究[J].计算机测量与控制.2019
[6].袁光辉,刘兆春.基于混合遗传算法在测试用例生成中的研究[J].黑龙江工业学院学报(综合版).2019
[7].李宁,蒋明睿.基于思维导图的测试用例设计平台的实现与应用[J].电子世界.2019
[8].唐嘉营,牟永敏.基于MCDC的测试用例生成方法[J].计算机工程与设计.2019
[9].王敏,马敏,张志.基本路径测试用例设计的改进方法[J].计算机应用与软件.2019
[10].郑华利,刘钊远,田野.一种基于符号执行的测试用例生成方法[J].计算机与数字工程.2019
论文知识图
