论文部分内容阅读
Only executable test suite generatedautomatically has practical usage.The authors de-vise and implement the algorithm of "parametrizingand executizing" in the TUGEN system and discussthe result,limitation and its reason.Based on thesework and the study in the executability of the tran-sition and the satiability problem of the predicate,the authors further present and implement anotheralgorithm called "executable parametrizing" to over-come the deficiency of the previous one and furtherimprove the practicability and efficiency of TUGEN.After analysis and comparison,the authors outline thefocus of the future research.