A new testing technique based on the Program Execution State Chart(PESC)is presented in this paper.
文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。