travel graph

A new testing technique based on the Program Execution State Chart(PESC)is presented in this paper.

文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。