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

Test Case Generation for Inter-class with Class-duplicated Mutation and JPF(Java Path Finder)

作　　者：钟诚[1] 唐春艳[1] 

机构地区：[1]广西大学计算机与电子信息学院,广西南宁530004

出　　处：《小型微型计算机系统》2009年第8期1591-1595,共5页Journal of Chinese Computer Systems

基　　金：广西科学基金项目(桂科自0728033)资助;广西高校人才小高地建设创新团队计划(桂教人[2007]71号)资助

摘　　要：采用类复制变异方法,运用模型检测器Java PathFinder(JPF)来保证软件执行过程中产生的错误在输出结果中可见,同时将类间测试用例生成问题转化成模型检测中寻找反例的问题,自动生成满足变异覆盖准则的类测试用例,提出一种适用于类间调用的测试用例自动生成方法,并在程序模型检测器JPF上实现.实验结果表明,本文提出的方法能生成高效的Java类间测试输入数据,变异覆盖率高,可发现隐藏错误,并能显著减少测试生成的代价.To make the propagation of faults be the visible outputs and transform inter-class test generation into finding the counterexample in the model check, an automatic generation approach of the test sequences for inter-class is presented and implemented by applying the mutation test theory and class-duplication method and the program model checker Java PathFinder （JPF）. The experimental results show that the presented approach can generate efficiently the test data of inter-class for Java, obtain high coverage of mutation test with hidden faults and reduce remarkably the test generation cost.

关 键 词：类间测试 测试用例生成 程序模型检测 变异测试 JAVA PathFinder(JPF) 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]