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

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

采用类复制变异方法,运用模型检测器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.