运用类复制变异和JPF技术生成类间测试用例.pdfVIP

小型微型计算机系统 2009年8月第8期 ofChineseComputerSystems V01．30NO．82009 Journal 运用类复制变异和JPF技术生成类间测试用例 钟诚，唐春艳 (广西大学计算机与电子信息学院，广西南宁530004) E—mail：chzhong@gxu．edu．cn；tcygxu@163．corn 摘 要：采用类复制变异方法，运用模型检测器Java 同时将类问测试用例生成问题转化成模型检测中寻找反例的问题，自动生成满足变异覆盖准Jl,】的类测试用例，提出一种适用于 类问调用的测试用例自动生成方法，并在程序模型检测器JPF上实现．实验结果表明，本文提出的方法能生成高效的Java类问 测试输入数据，变异覆盖率高，可发现隐藏错误，并能显著减少测试生成的代价． PathFinder(JPF) 关键词：类间测试；测试用例生成；程序模型检测；变异测试；Java 中图分类号：TP311．5 文献标识码：A 文章编号：1000—1220(2009)08—1591一05 Find- TestCaseGenerationforInter—classwith Mutationand Path Class—dupljcated JPF(Java er) ZHONG Cheng，TANGChun-yan (Schoolof andElectronicsand 530004．China) Computer Information·GuangxiUniverst曙，Nanning be test the Abstract：Tomakethe offaultsthevisible andtransforminter—class into propagation outputs generationfinding is andira— inthemodelcheck。anautomatic Ofthetest forinter—class counterexample generationapproach sequences presented themutationtest and methodandthe modelcheckerJavaPathFinder plementedbyapplying theoryclass—duplication program resultsshowthatthe can thetestdataofinter—classforJava， (JPF)．Theexperimental presentedapproach efficiently generate obtain ofmutationtestwithhidden[aultsandreduce thetest cost． remarkably highcoverage generation testcase model words：inter-classtestI c