-
题名基于Spark的并行化组合测试用例集生成方法
被引量：24
- 1
-
-
作者
戚荣志
王志坚
黄宜华
李水艳
-
机构
河海大学计算机与信息学院
南京大学计算机软件新技术国家重点实验室
河海大学理学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2018年第6期1284-1299,共16页
-
基金
国家重点研发计划(2016YFC0400910)
国家科技支撑计划(2013BAB06B04)
+1 种基金
中央高校基本科研业务费项目(2015B22214
2013B07514)资助~~
-
文摘
软件系统的正常运行受很多因素影响,各种因素及其相互作用可能引发软件故障,需要设计测试用例检测这些故障.如果因素数量较多且取值情况较复杂,则所需测试用例的数量将非常庞大.如何设计规模较小的用例集是测试用例生成研究的一个关键问题.组合测试能够从待测软件的大规模组合空间中,生成小规模的用例集,实现对各因素取值组合的充分覆盖.已有研究表明,组合测试的最小测试用例集生成问题是一个NP完全问题.目前已有一些研究尝试使用启发式搜索算法生成尽可能小的用例集.启发式搜索算法将组合测试用例集生成问题转化为搜索问题,并使用元启发式算法生成用例集.启发式搜索算法通常能够生成较小规模的用例集,但需要较长的计算时间.为了解决这个问题,文中提出了一种基于Spark的岛模型并行化遗传算法,利用Hadoop分布式文件系统实现了Spark运行节点间交换信息的方法,进而实现个体在子种群间的迁移.该算法首先从初始种群创建Spark的弹性分布式数据集;然后,将该数据集划分为多个子种群分布到集群的多个节点中;接着,各个子种群在各自的节点上计算适应度函数值和独立进化,并每隔一定的进化代数选择一些个体在各个子种群间迁移,提高了种群的多样性以及搜索最优解的有效性和性能;最后,算法返回满足覆盖准则的最优测试用例集.这种基于Spark的并行化遗传算法是大规模并行化在组合测试用例集生成方面的一个有效尝试.在实验部分,首先对文中提出的并行化算法进行系统的参数调整,给出适合组合测试用例集生成的推荐参数配置;接着将文中所提算法与串行遗传算法和独立运行遗传算法进行比较.实验结果表明,文中所提算法在生成用例集规模和消耗时间上均显著优于这两个算法.在运行所选实例时,该算法比串行算法加速约4至30倍,比独立运行遗传算法加速约2至3倍.相对于已有的组合测试用例集生成方法,文中所提算法在生成用例集规模上也具备显著优势.
-
关键词
组合测试
测试用例集生成
并行化遗传算法
岛模型
SPARK
-
Keywords
combinatorial testing
test suite generation
parallel genetic algorithm
island model
Spark
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种最小测试用例集生成方法
被引量：58
- 2
-
-
作者
聂长海
徐宝文
-
机构
东南大学计算机科学与工程系
江苏省软件质量研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2003年第12期1690-1695,共6页
-
基金
国家自然科学基金 (60 0 730 1 2 )
江苏省科技攻关项目 (BE2 0 0 1 0 2 5)
+2 种基金
江苏省三三三人才基金
武汉大学软件工程国家重点实验室开放基金
江苏省计算机信息处理技术重点实验室 (苏州大学 )开发基金资助
-
文摘
测试用例的数量和质量决定软件测试的成本和有效性 .该文提出了一种生成最小测试用例集的方法 ,该方法首先充分考虑测试目标中各个测试需求之间的相互关系 ,将满足测试需求的所有可用测试用例进行划分 ,根据划分的结果生成一个测试用例集 ,然后利用启发式算法、贪心算法或整数规划方法来消除冗余 ,对这个测试用例集进行进一步的简化 .这种方法与已有方法相比 ,优点在于它可以生成满足所有测试需求的最小测试用例集 .
-
关键词
软件测试
软件开发
软件需求分析
最小测试用例集生成方法
-
Keywords
software testing
test case
test suite reduction
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于程序切片的测试用例生成系统研究与实现
被引量：3
- 3
-
-
作者
王志文
黄小龙
王海军
刘烃
俞乐晨
-
机构
西安交通大学电子与信息工程学院
-
出处
《计算机科学》
CSCD
北大核心
2014年第9期71-74,共4页
-
基金
国家自然科学基金(91118005
91218301
+5 种基金
61221063
61203174
61202392)
国家科技支撑计划(2011BAK 08B02)
教育部博士点基金(20110201120010)
中央高校基本科研业务费专项资金资助
-
文摘
介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例。实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显著减少生成的测试用例数量。
-
关键词
软件测试
测试用例集生成
动态符号执行
程序切片
-
Keywords
Software testing
Test case set generation
Dynamic symbolic execution
Program slicing
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种组合测试用例生成的可配置混合算法
被引量：1
- 4
-
-
作者
孙文雯
蒋静
聂长海
-
机构
东南大学计算机科学与工程学院
南京大学计算机科学与技术系
-
出处
《计算机科学》
CSCD
北大核心
2011年第8期130-135,160,共7页
-
基金
国家自然科学基金资助项目(60773104
60721002)
+1 种基金
国家高科技研究发展计划("863"计划)(2008AA01Z143)
江苏省自然科学基金(BK2010372)资助
-
文摘
组合测试是一种经过实践证明的科学有效的测试方法,其研究重点之一是组合测试用例集的生成算法。基于参数顺序渐进扩充策略IPO(In-Parameter-Order)是其中一种具有代表性的通用算法,其优势在于水平扩充算法的可选择性和测试用例集的可扩展性。算法在提取影响IPO策略效果的参数的基础上,给出可配置的IPO策略;采用遗传算法(Genetic-Algorithm)配置IPO策略中的水平扩充,得到新的混合算法IPO_GA。通过实验对可配置IPO策略中各个参数对算法的影响进行了对比分析;将IPO_GA与部分已有算法进行了比较,结果表明在水平扩充过程中染色体较短时,IPO_GA效果较好;在解空间规模过大而导致染色体较长时,IPO_GA效果略差。
-
关键词
组合测试
测试用例集生成
遗传算法
-
Keywords
Combinatorial testing
Test suite generation
Genetic algorithm
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
