一种新的过程间静态切片快速算法

针对传统的基于PDG、SDG的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题,提出一种新的过程间静态切片快速算法．该算法无需使用PDG、SDG的程序中间表示形式,而是根据TOKEN序列和复合语句控制结构信息表,将程序表示为idUCf五元结构,并在此基础上计算程序的过程间静态切片．实验结果表明,该算法在保证多层嵌套结构程序的静态切片完整性的前提下,充分考虑了函数调用信息,降低了时间与空间复杂度．本算法只计算与切片相关的数据依赖、控制依赖以及函数调用信息,计算复杂度低．