一种面向对象程序的过程间切片算法

An Algorithm of Interprocedual Slicing for Object-Oriented Program

程序切片是一种程序分析技术 ,它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序 .过程间切片作为图形可达性问题时 ,需要扩展过程内切片所用的程序依赖图 (PDG)成系统依赖图 (SDG) ,然后利用两阶段图形可达性算法计算比较精确的切片 .目前程序切片技术的研究以面向对象程序切片为主 ,文中讨论了一种适合面向对象程序的分层切片方法 。

Program slicing is a program analyzing technique that reduces programs to those statements that are relevant for a particular computation. To compute the interprocedural slice, system dependence graph is proposed to represent programs, which extends previous program dependence graph representations. This paper concerns the problem of interprocedural slicing for object oriented programs. We discuss a kind of hierachical slicing method for object oriented softwares, and with the two pass graph reachability algorithm, we present a simplified algorithm to compute the slice of object oriented programs.