Test Case Generation for Inter-class with Class-duplicated Mutation and JPF(Java Path Finder)
Chunyan Tang · Journal of Chinese Computer Systems · 2009
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.