基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.

Program Slicing Method of Data Flow Equations Based on Abstract Implementation Structure Diagram

An automatic program slicing method is proposed which applies the data flow equation algorithm to the abstract implementation structure diagram for PASCAL. The method introduces the abstract implementation structure diagram as a part of the procedure blueprint into the domain of the static intra-procedural slicing so as to realize the unification of program representation and the program slicing process form, and to avoid the production of the control flow graph which is demanded in the traditional way, and to cut short the program slicing procedure, and to improve the efficiency of the program slicing process and to reflect the changes between original program and sliced program obviously.