Generating fully executable test suite automatically

Abstract

Only executable test suite generated automatically has practical usage. The authors devise and implement the algorithm of "parametrizing and executizing" in the TUGEN system and discuss the results, limitations and its reason. Based on this work and the study in the executability of the transition and the satiability problem of the predicate, the authors further present and implement another algorithm called "executable parametrizing" to overcome the deficiency of the previous one and further improve the practicability and efficiency of TUGEN. After analysis and comparison, the authors outline the focus of the future research.