TOWARDS EXECUTION IN AUTOMATIC TEST SUITE GENERATION

Only the executable test suite that is generated automatically has practical usage. In this paper, the algorithm of parametrization and executization implemented in the TUGEN system is discussed, and the result and the reason of its limitation are analyzed. Based on all the above work and studying the executability of the transition and the SAT problem of the predicate part, another algorithm called “executable parametrizing” is proposed and implemented to overcome the deficiency of the previous one and further improve the appliance of TUGEN. After analysis and comparison, the focus on the future research is outlined.