位置:成果数据库 > 期刊 > 期刊详情页
基于变异分析和集合进化的测试用例生成方法
  • ISSN号:0254-4164
  • 期刊名称:计算机学报
  • 时间:2015.11
  • 页码:-
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]中国矿业大学计算机科学与技术学院,江苏徐州221116, [2]中国矿业大学信息与电气工程学院,江苏徐州221116, [3]江苏师范大学计算机科学与技术学院,江苏徐州221116, [4]中国矿业大学理学院,江苏徐州221116
  • 相关基金:国家自然科学基金(61375067,61203304); 江苏省自然科学基金(BK2012566); 中央高校基本科研业务费专项资金(2012QNA41)资助
  • 相关项目:基于不确定进化优化的含随机数软件测试数据自动生成理论与方法
中文摘要:

变异分析能够辅助生成有效的测试用例集,然而,高昂的测试代价,严重影响了这一技术在实际软件测试中的广泛应用.文中基于弱变异分析,研究求解测试用例生成问题的新方法,以高效地生成具有很高缺陷检测能力的测试用例集.该方法首先利用变异前后的语句,构造变异分支,并将所有变异分支集成到原程序,形成新的被测程序;然后,以测试用例集作为决策变量,根据该测试用例集对变异分支的覆盖信息,构造目标函数,建立新的测试用例生成问题的数学模型;最后,采用集合进化优化方法求解上述模型时,设计具有针对性的适应度函数和进化策略,使得一次求解该模型,生成杀死所有变异体的测试用例.将所提方法应用于13个基准和工业程序的测试,并与传统的遗传算法进行了比较.实验结果表明,所提方法能够高效地生成测试用例,且生成的测试用例具有更高的缺陷检测能力.

英文摘要:

Mutation analysis can assist in generating effective test cases.However,the high cost in mutation testing has affected its widespread application in practical software testing.Based on the weak mutation analysis,we proposed a new method to effectively generate test cases with a high ability in detecting defects.In our method,mutant branches are constructed from statements before and after mutation,and a new program is formed by integrating all mutant branches into the original program.Then,a novel model is established for optimizing test case generation.In the model,the decision variable is a test suite,and the objective is defined based on the coverage information of the test suite to all mutant branches.Finally,when solving the above model by using the set-based evolutionary optimization method,an appropriate fitness function and genetic operators are designed,so as to generate test cases that kill all mutants by running the method once.The proposed method was applied to thirteen benchmark and industrial programs,and compared with the traditional genetic algorithm.Our experimental results showed that our method can effectively generate test cases,and the generated test cases have a higher ability in detecting defects.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《计算机学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编:孙凝晖
  • 地址:北京中关村科学院南路6号
  • 邮编:100190
  • 邮箱:cjc@ict.ac.cn
  • 电话:010-62620695
  • 国际标准刊号:ISSN:0254-4164
  • 国内统一刊号:ISSN:11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:48433