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

An Algorithm of Interprocedual Slicing for Object-Oriented Program

作　　者：刘芳[1,2] 陈雨亭[1,2] 朱平[1,2] 谭毅[1,2] 郑国梁[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,江苏南京210093 [2]南京大学计算机科学与技术系,江苏南京210093

出　　处：《小型微型计算机系统》2002年第9期1092-1095,共4页Journal of Chinese Computer Systems

基　　金：江苏省自然科学基金 (编号 BK990 3 8)资助 ;江苏省应用基础研究 (编号 BJ2 0 0 0 0 3 4)资助

摘　　要：程序切片是一种程序分析技术 ,它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序 .过程间切片作为图形可达性问题时 ,需要扩展过程内切片所用的程序依赖图 (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.

关 键 词：面向对象程序 过程间切片算法 两阶段图形可达性 分层切片 程序切片 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]