文档介绍:翩鲐若五街纱阻年学位论文作者张涨簿蔽签字魄独创性声明学位论文版权使用授权书够目墨学位论文作者签名:涨他人已经发表或撰写过的研究成果,也不包含为获得当继欲数其他教育机构本学位论文作者完全了解多像走辔有关保留、使用学位论文的规定,借阅。本人授权多像六茹以将学位论文的全部或部分内容编入有关数据库进行日矽つ阹月本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意。签字日期:有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许论文被查阅和检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。签字日期.≯年学位论文作者毕业去向:工作单位:电话::邮编./
摘要随着计算机技术的不断发展,软件测试渐渐成为一项耗费大量资源的活动,因此人ぶ痹谘芯渴褂煤沃址椒ɡ唇档腿砑馐缘某杀尽>榧笆导砻鳎楹喜馐允一种实际而有效的测试方法,它假设待测软件系统中的缺陷往往是由少数参数问的相互作用而触发的。因其能使朋较小规模的测试用例集来实现对被测试系统进行科学有组合测试用例集的生成技术是测试领域研究的重点之一。本文在第二章介绍了组合测试的一些基本概念以及几种常见的组合测试用例生成算法,并简要说明了这几种算法的优缺点。在传统组合测试用例生成方法中,一般是假设待测系统软件中各参数取值是互不影响的,但是在实际应用中,软件各参数间往往存在一定的约束关系,从而会使这些参数中某些取值的组合受到一定限制。本文在第三章介绍了四种约束处理策略,并通过实例说明了这几种策略处理约束的过程,分析了使用这四种约束处理策略的前提条参数问的约束关系大致上可以分为两类:第一类是非强制性约束;第二类是强制性约束。由于非强制性约束对待测软件的错误检测能力影响不大,因此本文主要针对的是强制性约束。在测试用例牛成时考虑参数问的约束关系,就有可能精简测试用例即隐含约束,如果忽略对隐含约束的处理,可能会导致测试用例牛成算法出现异常。为了解决该问题,本文提出了一种能够处理隐含约束关系的算法,该算法通过对给定的参数约束集合进行处理,得到隐含约束关系后,将其并入原有的参数约束集,得到本文在深入研究算法的基础上,引入输入参数间的约束关系,使其在不影响覆盖率的前提下,生成规模更小的测试用例集并在第四章给出了算法的具体描述。算法的基本步骤是:首先检查待测系统给定的约束关系集合中是否包含隐含约束,如不能出现在最后生成的测试用例中;然后用回溯算法遍历解空问树,遍历的同时,利用参数问的约束关系对树的枝叶进行裁剪,以避免产生无效的测试用例并减少遍历的次数。当遍历到叶子节点时,把符合条件的从根到叶子节点之问的路径组合输出,即生成了测试用例集;最后检查回溯算法生成的测试用例集是否包含所有参数的取值组效的测试而得到广泛的研究和应用。件,给出了一个简单的算法机制用来缩减使用其中三种策略后生成的冗余测试用例。集的规模。因为参数问的复杂关系,可能会出现给定的参数约束诱导出新的约束关系,所有的约束关系的集合,本文最后通过实例说明了算法的有效性。果存在则求解出隐含约束,将其并入到原有的约束关系集。约束关系集里的约束组合
合对,如果还有没被覆盖的组合对,则使用贪心算法补全测试用例,以达到两两组合关键词:组合测试;解空问树;参数约束;测试用例集;隐含约束覆盖的标准。在第五章,通过实验表明了使用该方法也能有效地减少测试用例的数量。带参数约束的组合测试用例生成研究
.甌甌琣,,—..,,瑃瓹瓸,.,,
.:;带参数约束的组合测试用例生成研究籗琔,;;;
目录摘要⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.第滦髀国内外研究现状⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.本文主要研究内容⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..第伦楹喜馐约际踝凼觥贪心算法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.求解隐含约束的算法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..第麓问际淖楹喜馐杂美伞回溯遍历算法及贪心算法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.带参数约束的组合测试用例生成算法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.目录⋯⋯.课题研究背景⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯本文组织结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.组合测试基本概念⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.正交拉丁方算法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯