In PSTS, program structure is abstracted by an EvPnt petri Net (EPN). Using the dynamic property of EPN, we can simulate the control flow of programs, and dynamic synchronized testing method is proposed.

• PSTS引入一种事件Petri网(EPN)来描述程序结构,利用EPN的动态特性模似程序控制流,提出了同步动态测试的方法,从而克服了用有向图描述程序进行结构测试的弱点,使故障覆盖率得以提高。