导读:本文包含了测试用例生成框架论文开题报告文献综述及选题提纲参考文献，主要关键词:面向路径,测试用例生成,约束满足问题,分支限界
测试用例生成框架论文文献综述
邢颖,宫云战,王雅文,张旭舟[1]（2014）在《基于分支限界搜索框架的测试用例自动生成》一文中研究指出作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个约束满足问题,并通过搜索算法求解.着眼于提升搜索算法的效率,本文提出了一种新的智能算法,将分支限界和爬山法进行了有机的整合,分支限界作为全局搜索算法,而爬山法作为局部搜索算法,发挥各自的优势来对测试用例的解空间进行搜索.(本文来源于《中国科学:信息科学》期刊2014年10期）
吉大纯,陈蕾,梁静,邵四海[2]（2011）在《基于PG框架的软件结构测试用例自动生成研究》一文中研究指出测试用例自动生成是软件测试实现自动化的前提和基础。本文针对软件结构测试的用例自动生成问题,首先选择基本路径覆盖作为测试用例的设计标准,然后提出了一种新的基于PG框架(PSO andGA Frame)自动生成测试用例的方法,即首先基于粒子群算法(PSO)自动提取基本路径集,使得该路径集满足所选择的基本路径覆盖标准,然后基于遗传算法(GA)对路径集中每条基本路径生成测试数据。生成的用例具有覆盖率好、随机性强等优点。(本文来源于《第十四届全国容错计算学术会议(CFTC'2011)论文集》期刊2011-07-30）
刘扬,李亚芬,王普[3]（2011）在《模型驱动的测试用例自动生成框架》一文中研究指出提出一个基于模型驱动架构(MDA)的测试用例生成框架,其中,平台无关的系统模型通过水平转换成平台无关的测试模型,平台无关的测试模型通过竖直转换生成相应的测试用例。利用MDA转换工具ATL和MOFScript制定相应的转换规则作用于元模型,使测试者只须提供源模型和测试数据即可生成相应的测试用例。(本文来源于《计算机工程》期刊2011年01期）
朱春华[4]（2010）在《基于MDA的测试用例自动生成方法及其支撑框架》一文中研究指出软件测试贯穿于软件开发的整个过程,是保证软件质量的重要手段。单元测试是对软件设计的最小单位进行正确性检验,是后续软件开发和测试的保障。所以单元测试既是软件测试的第一步也是最关键的一步。单元测试的回归性,使得其可以用自动化工具来辅助进行。因测试工作量大,且手动编写测试用例难以保证测试的质量,使得对测试用例的自动生成进行研究具重要的实际意义。本文分别从.NET平台下的单元测试框架NUnit及其平台下的测试用例自动生成两个方面展开研究。首先介绍了相关的背景知识,包括软件测试技术和基于模型的软件测试技术,分析了后者的优缺点。归纳总结了基于模型的软件测试的国内外研究现状。其次,本文研究了NUnit单元测试框架,详细分析该框架的结构和工作原理。针对在使用该框架进行单元测试时,测试代码存在大量冗余的问题提出相应的修改策略,并对其进行了改进,以实现使测试代码和测试数据分离。对改进过的NUnit——i-NUnit框架的两个关键部分：测试代码框架和测试数据容器,分别给出了对应的生成算法。最后,本文针对改进后的框架i-NUnit,提出一种基于MDA的测试用例自动生成方法。该方法以序列图作为对象,将SUT模型、SUT元模型、水平转换说明、xUnit元模型作为初始输入,通过两次模型转换(水平和垂直)生成测试用例。本文将该方法应用到ATM仿真系统上,对其进行了实验,同时抽取其中的取款模块作为待测试模块,为其自动生成测试用例。实验结果证明本文提出基于MDA的测试用例自动生成方法具有可行性。此外,该方法还具有一定的通用性,可以应用于xUnit家族中的所有框架。(本文来源于《中南大学》期刊2010-06-30）
李峻[5]（2009）在《基于GUI软件的测试用例生成框架的研究与应用》一文中研究指出图形用户界面(GUI)越来越广泛的在软件系统中使用。基于GUI软件的软件测试也变得日益重要。随着GUI软件越来越庞大,花费在软件测试工作的时间、人力、物力也越来越多。测试用例的数量决定着软件测试的成本以及效率。因此在保证GUI软件测试的质量和对充分测试的前提下,使用有效的测试用例来测试GUI软件,从而降低软件测试的成本和提高测试效率势在必行。目前业界普遍使用的是商用GUI软件测试工具实现GUI软件测试。但是这些测试工具都没有对测试用例生成提供很好的支持。因此对GUI软件的测试用例生成的研究具有实用价值。本文较为系统地分析了软件测试用例生成技术的研究现状,以及GUI软件的测试过程。提出了一个比较完整有效的基于GUI软件的测试用例生成框架(GSTCGF4SEI)。该测试用例生成框架适用于C/S和B/S结构的GUI软件测试。其中重点探讨了该框架需要解决的叁个关键技术:测试数据生成,测试结果验证和测试脚本设计。使用基于GUI软件的测试工具QTP,将该框架应用于Web应用程序“煤质管理信息平台”的测试中,对本文提出的测试用例生成解决方案具有的实用价值进行了验证。(本文来源于《合肥工业大学》期刊2009-04-01）
李寰,陈俊杰[6]（2007）在《基于Java语言的面向路径测试用例自动生成框架设计》一文中研究指出软件测试是保证软件质量的重要手段,测试自动化是提高测试效率和测试质量的有效途径,测试用例自动生成是测试自动化的重要组成部分.为提高单元测试自动化程度,根据目前较先进的迭代松弛法,提出一个基于Java语言的面向路径测试用例自动生成框架,对该框架的主要思想、核心算法、主要模块及工作流程进行了阐述.该框架可以很好的为给定路径自动生成测试用例.(本文来源于《聊城大学学报(自然科学版)》期刊2007年01期）
龚红仿,李军义,邹北骥,孙家广[7]（2005）在《基于EDPN的类测试框架及测试用例生成技术的研究》一文中研究指出针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。(本文来源于《计算机科学》期刊2005年05期）
测试用例生成框架论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
测试用例自动生成是软件测试实现自动化的前提和基础。本文针对软件结构测试的用例自动生成问题,首先选择基本路径覆盖作为测试用例的设计标准,然后提出了一种新的基于PG框架(PSO andGA Frame)自动生成测试用例的方法,即首先基于粒子群算法(PSO)自动提取基本路径集,使得该路径集满足所选择的基本路径覆盖标准,然后基于遗传算法(GA)对路径集中每条基本路径生成测试数据。生成的用例具有覆盖率好、随机性强等优点。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
测试用例生成框架论文参考文献
[1].邢颖,宫云战,王雅文,张旭舟.基于分支限界搜索框架的测试用例自动生成[J].中国科学:信息科学.2014
[2].吉大纯,陈蕾,梁静,邵四海.基于PG框架的软件结构测试用例自动生成研究[C].第十四届全国容错计算学术会议(CFTC'2011)论文集.2011
[3].刘扬,李亚芬,王普.模型驱动的测试用例自动生成框架[J].计算机工程.2011
[4].朱春华.基于MDA的测试用例自动生成方法及其支撑框架[D].中南大学.2010
[5].李峻.基于GUI软件的测试用例生成框架的研究与应用[D].合肥工业大学.2009
[6].李寰,陈俊杰.基于Java语言的面向路径测试用例自动生成框架设计[J].聊城大学学报(自然科学版).2007
[7].龚红仿,李军义,邹北骥,孙家广.基于EDPN的类测试框架及测试用例生成技术的研究[J].计算机科学.2005