首页 | 本学科首页   官方微博 | 高级检索  
     

一种新的数据流覆盖测试数据进化生成方法
引用本文:靳蓉,姜淑娟,张红昌.一种新的数据流覆盖测试数据进化生成方法[J].小型微型计算机系统,2012,33(4):722-726.
作者姓名:靳蓉  姜淑娟  张红昌
作者单位:中国矿业大学计算机科学与技术学院,江苏徐州,221116
基金项目:国家自然科学基金项目(60970032)资助;江苏省自然科学基金项目(BK2008124)资助;江苏省"青蓝工程"基金项目资助
摘    要:数据流覆盖可有效地检测软件中的缺陷与错误.针对该覆盖准则中存在的插装监测开销庞大和测试数据生成效率不高的问题,提出一种新的基于定值-引用对覆盖的测试数据进化生成方法.该方法主要分为两部分,首先,通过约减测试目标来减少插装开销,提出的包含关系算法可找到一个定值—引用对子集,使得覆盖该子集就能保证所有测试目标被覆盖;然后,采用遗传算法为所有测试目标生成测试数据,设计的适应度函数综合考虑个体实际执行的路径与每个测试目标的定义明确路径的匹配程度.将该方法用于8个基准程序的测试数据生成,并与其他方法比较,结果显示其可有效提高程序覆盖率和测试数据生成效率.

关 键 词:软件测试  数据流覆盖  定值-引用对  测试数据生成  遗传算法

Novel Evolutionary Generation Approach to Test Data for Data-flow Coverage
JIN Rong , JIANG Shu-juan , ZHANG Hong-chang.Novel Evolutionary Generation Approach to Test Data for Data-flow Coverage[J].Mini-micro Systems,2012,33(4):722-726.
Authors:JIN Rong  JIANG Shu-juan  ZHANG Hong-chang
Affiliation:(School of Computer Science and Technology,China University of Mining and Technology,Xuzhou 221116,China)
Abstract:Data-flow coverage is an effective and adequacy criterion for detecting defects in the program.Aim at the existing problems such as the monitoring costs caused by instrumentation is huge and the inefficiency of test data generation for this criterion,a novel approach to generating test data for all definition-use pairs coverage is presented.This approach consists two parts,first,cutting the monitoring costs by reducing the number of testing requirements,the proposed subsumption algorithm identifies a subset of definition-use pairs,which can guarantee the coverage of all test requirements is achieved;then,the genetic algorithm is used to generate multiple test data for all definition-use pairs.,the fitness of individual depends on the matching degree between the traversed path and the definition-clear path of each targeted definition-use pair.The proposed approach is applied to generate test data for 8 benchmark programs,the experiment result shows that it can greatly improve the coverage of programs and the efficiency of test data generation when comparing with other approaches.
Keywords:software testing  data-flow coverage  definition-use pair  test data generation  genetic algorithm
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号