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

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