导读:本文包含了用例切片论文开题报告文献综述及选题提纲参考文献，主要关键词:EFSM模型,不定型切片,测试用例生成,测试用例补全
用例切片论文文献综述
苏宁[1]（2016）在《基于EFSM模型不定型切片测试用例自动生成的研究》一文中研究指出基于模型的测试是软件测试中的一个重要分支。EFSM模型是对FSM模型的扩展,可以更加精准地描述软件系统的动态行为。基于EFSM模型的测试技术具有重要的研究意义与实用价值。基于EFSM模型的测试生成主要包含两个部分：测试迁移路径的生成和覆盖测试迁移路径的测试数据生成。相关学者研究了EFSM模型测试生成效率的影响因素,发现模型规模越大,测试生成的效率就会越低。在实际应用中,软件系统规模的增大使与之对应的模型规模也变得越来越大,这势必会导致测试效率的降低和测试难度的增加。模型切片是在程序切片的基础上提出的,它是对模型的约减。其中,EFSM模型不定型切片只保留了原模型的语义,是一种约减程度较高的切片技术。为了提高EFSM模型的测试生成效率,本文提出了一种基于EFSM模型不定型切片的测试生成方法。依据不定型切片的特点,即切片中的迁移均对被测迁移存在影响和切片中存在合并迁移；以及EFSM模型路径可行性的特点,本文提出了基于切片的测试路径生成规则,并采用遗传算法生成测试数据。此外,依据切片的定义,可知切片上测试用例是原模型测试用例的子集。为了保证在切片上生成的测试用例在原模型上可用,本文进一步提出了测试路径补全规则和测试数据补全规则。通过两个案例分析得出：基于模型切片可以更加准确地生成可行路径和提高测试强度。为了进一步验证本文方法的有效性和正确性,对其进行了实验设计和验证。实验结果显示：首先在切片上生成的测试用例补全后在原模型上基本可运行；其次基于切片的方法中测试用例生成效率在大多数情况下都比较高,效率低的主要原因是依赖性分析和切片的时间较长,但整体评价时间都较短。(本文来源于《北京化工大学》期刊2016-05-24）
王志文,黄小龙,王海军,刘烃,俞乐晨[2]（2014）在《基于程序切片的测试用例生成系统研究与实现》一文中研究指出介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例。实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显着减少生成的测试用例数量。(本文来源于《计算机科学》期刊2014年09期）
王波,柴玉梅,王黎明[3]（2013）在《基于谓词动态切片技术的AOP测试用例生成方法研究》一文中研究指出面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例.(本文来源于《小型微型计算机系统》期刊2013年06期）
刘艳[4]（2013）在《基于程序切片算法的测试用例集约简方法》一文中研究指出目前信息化产业的应用范围越来越广,然而因为软件质量出现的问题也是致命的,例如全国数百万笔跨行交易因为中国银联业务中断6小时而无法实现,故测试出软件的错误保证其可以顺利的执行是首要的工作。因此测试用例的执行策略对测试效果具有至关重要的影响,可以节省大量的人力和物力,同时可以减少后期维护的费用。所以需要在全部测试用例中选择一组有效的测试用例来完成测试过程,也就是对初始测试用例集进行约简,并且约简后的测试用例集仍可以测试测试需求集中每一个测试需求,保证错误的检测能力。测试用例集的选择直接影响软件的质量,因此对测试用例集约简的方法进行研究,具有很重要的意义。程序切片技术去除了和兴趣点无关的程序节点,这样可以更方便的理解和分析程序。本文将程序切片技术应用于测试用例集的优化中,使程序切片技术只选择程序中与测试兴趣点相关的程序。这样可以减少测试用例的数量,用最少的测试用例集测试出更多的程序错误。本文的研究性工作主要包括如下几个方面：(1)根据预先生成的逆向程序流、函数依赖集和实参形参对照表提出一种基于过程间函数调用程序的切片生成算法,该算法考虑了函数调用间参数的转换,主要是根据赋值语句来考虑切片中兴趣点所影响的程序；(2)基于过程间函数调用的程序切片算法同样适用于过程内的切片生成,因此本文又给出了过程内切片的生成算法,过程内切片算法只依赖于逆向程序流,算法的执行更简单,效率更高；(3)测试用例集约简中采用改进的GRE算法。根据测试需求的兴趣点生成切片,并为切片中的节点生成相应的测试用例。首先,根据冗余测试用例的定义去除冗余的测试用例；然后根据必不可少测试用例的定义选择出唯一能够满足该测试需求的测试用例；最后,该算法中将贪心算法改为双重选择机制。最后,论文通过给出的实例来验证该算法的可行性和实践性,并进行了算法比较,给出了下一步的工作方向和内容。(本文来源于《安徽大学》期刊2013-04-01）
王波[5]（2012）在《基于谓词动态切片技术的AOP测试用例生成方法研究》一文中研究指出面向方面的软件开发是一种新出现的软件开发方法,面向方面程序设计是面向对象程序设计技术的补充和完善,它引入方面实现对横切关注点的封装,解决了代码混乱和代码分散的问题,提高了软件开发效率。高效的面向方面程序(Aspect-oriented programming, AOP)则试方法是面向方面程序的质量保证。目前,对于面向方面程序测试主要有四种方法：①由Zhao Jian-jun提出的基于数据流的单元测试方法。此方法主要关注程序中每个变量的赋值分配情况,根据控制流图构造方面、类的定义-使用(def-use)对,选取适当的测试策略,它存在的主要问题是环绕建议(around advice)可能改变定义-使用对的构造结果；②由Xu Dian-xiang等人提出的基于状态的测试方法。此方法是将面向方面的状态模型(ASM)变换成树的结构,由此得到的所有测试用例可对对象行为、方面以及类间的交互进行完备的测试,但没有解决状态组合爆炸的问题；③Xu Wei-feng等人利用方面流图(AFG)和迁移树基于AFG进行测试,该方法依据覆盖准则产生可执行的测试用例,它主要检测的是由控制流依赖改变导致的错误,可以表示静态应用的建议(advice),但无法表示动态应用的建议；④方面的独立测试。这种测试只针对特定的AOP语言,其重点在于对方面实现的测试,而对方面与类的交互没有涉及。本文提出一种引入谓词动态切片技术协助生成AOP测试用例的测试方法。首先,构造完整AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素。然后,将完整AOP语句控制流图存储在邻接表中,通过对邻接表的遍历,得到AOP的所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,在测试数据调整时,若判定路径是不可执行路径,则不再为其生成测试数据。在这个过程中,引入谓词动态切片来协助调整测试数据,谓词动态切片是依据AOP简化动态依赖图得到的,本文提出了构造AOP简化动态依赖图的算法和生成谓词动态切片算法。最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误。经实例分析和实验验证,此方法可以系统地测试一个完整的面向方而程序,通过引入谓词动态切片技术,提高了测试数据的生成效率,并产生有效、完备的测试用例。(本文来源于《郑州大学》期刊2012-05-01）
吴洁[6]（2010）在《一种基于程序切片的测试用例集约简方法研究》一文中研究指出软件测试贯穿于软件开发的整个过程,是软件开发过程中耗时最长,耗资最多的一个阶段。软件测试通过运行相应的测试用例来发现软件程序中的错误,进而为开发人员或维护人员提供软件维护的必要依据,在软件测试阶段需要更多的发现程序中的错误,能发现错误的软件测试才是有价值的。随着软件版本的不断升级以及软件规模的不断扩大,软件测试过程中所需的测试用例集规模也在不断扩大,运行与维护这些测试用例集是需要代价的,用例集规模的扩大必然会带来运行及维护成本的增加。然而在这些用例集中,可能存在很大一部分冗余用例,它们的存在对软件测试本身毫无意义,可以通过删除这些冗余测试用例来降低软件开发的成本,也就是可以在已有测试用例集中找出它的一个子集来对源程序进行测试,这个测试子集必须要满足和原始测试用例集具有相同的测试覆盖度。目前已有很多方法来约简测试用例集,其中包括很多启发式算法：如贪心算法、HGS算法、GRE算法、GE算法等,实验证明这些方法都可以有效的约简测试用例集的规模。测试用例集规模的约简会产生一个新的问题,那就是随着这些冗余测试用例的删除,约简后测试用例集的错误检测能力也会减弱,且减弱的程度是随约简规模的增大而增加的。怎样在保证约简后测试用例集错误检测能力的基础上约简原始测试用例集就是本文研究的主要内容。本文在分析、总结之前学者研究成果的基础上,引入了程序切片的思想,找到程序中那些可能会引起程序错误,但是使用一般的测试用例来检测,测试结果不可靠的语句节点作为程序的关键点,从关键点开始根据本文构造的切片依赖图对这些点进行切片,从而分析得出使这些关键点出错的变量输入值的取值范围,并利用这些取值范围作为选择保留冗余测试用例思想中的一个测试充分性准则,用它来选取部分冗余用例,以此来使约简后测试用例集的错误检测能力保持在一定的水平之上。最后通过仿真实验来验证这个方法是有效的,能达到既约简测试用例集规模又保持约简后用例集错误检测能力的要求。本文主要完成了以下几个方面的研究工作：1.提出了程序关键点的定义并就运算类程序给出了关键点的分类。2.提出一种新的用于程序切片的依赖图构造方法。3.对程序关键点进行切片并分析使得它们出错的变量输入值取值范围,并将这个范围作为一种测试用例集约简的覆盖准则。4.结合本文研究内容改进选择保留冗余测试用例思想,并将其形式化为算法。5.设计并实现两个仿真实验,第一个用来验证本文构造的切片依赖图不会影响程序切片的正确性,另一个用来验证本文方法针对所研究的程序类型来说,在保持约简后用例集错误检测能力上面是有效的,能达到既约简测试用例集规模又保持约简后用例集错误检测能力的目的。(本文来源于《西南大学》期刊2010-04-19）
吴洁,丁晓明[7]（2010）在《基于程序切片的测试用例集约简方法》一文中研究指出对用例集中的冗余测试用例进行删除往往会造成测试用例集错误检测能力(FDE)的下降。引入程序切片的思想,定义容易引起程序错误的语句为关键点,对其进行切片并分析取值范围,利用这些取值范围选取部分冗余测试用例可以保证最小化测试用例集具有一定的错误检测能力。(本文来源于《重庆交通大学学报(自然科学版)》期刊2010年02期）
刘磊[8]（2010）在《基于动态程序切片技术的测试用例自动生成研究》一文中研究指出随着软件的需求和规模的增大,软件的质量变得日益重要。软件测试是软件质量的最重要解决方案,而测试用例的生成则是软件测试中最重要的环节。由于测试用例生成的效率和方法将直接影响到软件测试的效果,因此,本文对测试用例的自动化生成进行了较为详细的研究,具有十分重要的意义。程序切片是一种程序分解技术,通过对程序进行分解成切片,并对切片进行相关的研究从而达到对整个程序的理解。程序切片在软件的测试、调试、维护和编码等等都有极其广泛的用途。动态切片是程序切片中的一种,本文在对已有的动态切片理论和算法研究的基础上提出了一种改进的算法,通过程序实际的执行路径上的控制依赖和数据依赖节点以及可到达语句求出给定切片准则上的动态切片,并通过一个具体的实例对算法进行验证,实验表明生成的切片是有效的。随后,本文把这种动态切片算法应用到测试用例的自动生成中。具体方法是给定初始输入和指定路径,首先找到给定初始输入的实际执行路径与指定路径的最长公共前缀节点,然后计算该节点的动态切片,并通过不断地调整输入去运行切片,使得程序该节点的谓词函数取反,最后直至运行的路径与给定路径完全相等,则指定路径的测试用例也就生成了。最后,通过实际开发出的测试用例自动工具对实例进行演示,实验表明,基于动态切片技术的测试用例自动生成是行之有效的。(本文来源于《安徽大学》期刊2010-04-01）
田绪明,罗燕京[9]（2009）在《软件设计阶段的用例切片的合成研究》一文中研究指出1引言在面向对象(OO)的软件开发方法中,系统构成的基本元素是类,设计的主要任务是找出所涉及的全部类并分配相关的行为。由于系统的各关注点行为在逻辑关系上存在着耦合性,所以在抽象出类时不同的关注点将会涉及共同的类,因此形成类的横切,使得模块之间产生了缠绕。同时又因为一个关注点的功能又有多个类来实现,又形成了功能(本文来源于《2009年研究生学术交流会通信与信息技术论文集》期刊2009-09-01）
蔡素梅,梅登华[10]（2009）在《基于动态切片和UML图的回归测试用例生成》一文中研究指出针对基于UML设计的面向对象软件在修改后进行回归测试的情况,提出一种回归测试用例生成的新方法。获取软件修改后进行回归测试时必须重新测试的类和方法,分析与需要重测试类有关的UML顺序图,对顺序图中每个包含不等关系的条件断言生成与其有关的动态程序切片,根据该动态程序切片生成与其相应的回归测试用例。(本文来源于《计算机工程》期刊2009年08期）
用例切片论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例。实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显着减少生成的测试用例数量。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
用例切片论文参考文献
[1].苏宁.基于EFSM模型不定型切片测试用例自动生成的研究[D].北京化工大学.2016
[2].王志文,黄小龙,王海军,刘烃,俞乐晨.基于程序切片的测试用例生成系统研究与实现[J].计算机科学.2014
[3].王波,柴玉梅,王黎明.基于谓词动态切片技术的AOP测试用例生成方法研究[J].小型微型计算机系统.2013
[4].刘艳.基于程序切片算法的测试用例集约简方法[D].安徽大学.2013
[5].王波.基于谓词动态切片技术的AOP测试用例生成方法研究[D].郑州大学.2012
[6].吴洁.一种基于程序切片的测试用例集约简方法研究[D].西南大学.2010
[7].吴洁,丁晓明.基于程序切片的测试用例集约简方法[J].重庆交通大学学报(自然科学版).2010
[8].刘磊.基于动态程序切片技术的测试用例自动生成研究[D].安徽大学.2010
[9].田绪明,罗燕京.软件设计阶段的用例切片的合成研究[C].2009年研究生学术交流会通信与信息技术论文集.2009
[10].蔡素梅,梅登华.基于动态切片和UML图的回归测试用例生成[J].计算机工程.2009