基于简化系统依赖图的静态粗粒度切片方法  

An Approach of Static Coarse-Grained Slice Based on Simplified System Dependence Graph

作　　者：李必信[1] 王云峰[1] 张勇翔[1] 郑国梁[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室

出　　处：《软件学报》2001年第2期204-211,共8页Journal of Software

基　　金：国家863青年基金!资助项目 (86 3- 30 6 - QN2 0 0 0 - 2 ) ;江苏省自然科学基金!资助项目 (BK990 38)&&

摘　　要：基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省略了那些表示输入参数和输出参数的结点和概括边 .同时 ,还定义了一种面向对象程序的粗粒度切片概念 ,讨论了它的性质 ,分析了它与细粒度切片的关系 ,并基于简化的系统依赖图计算面向对象程序的粗粒度切片 .最后还讨论了切片技术的简单实现 .It is an efficient way to use SDG (system dependence graph) in slicing object oriented program. But SDG is too complicated, so it may produce mistakes during constructing SDG, which will lead to inaccurate result. In this paper, the SSDG (simplified system dependence graph) is presented, which ignores nodes and edges representing parameter in or parameter out and summary edges. Meanwhile, the concept of coarse grained slice for object oriented program is defined, its properties are discussed, the relationships between coarse grained slice and fine grained slice are analyzed, the object oriented coarse grained program slice is computed based on simplified system dependence graph, and the implementation is also discussed.

关 键 词：系统依赖图 简化系统依赖图 粗粒度切片 面向对象 程序切片 

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