柴玉梅，刘东昊，王黎明

（郑州大学 信息工程学院，河南 郑州450001）

0 引 言

程序切片技术是一种用于分解程序的程序分析技术，在程序开发、测试、理解等软件过程中有着广泛的应用［1－2］，本文的研究可以应用到程序理解中。程序切片的实质是分析程序元素之间的影响关系。这项技术最早由M.Weiser博士于1979年在他的博士论文中建立起来，发展到现在程序切片技术已经比较成熟。

当前较为主流的软件开发语言很多都是面向对象的，有许多研究者做了大量工作。例如A.Krishnaswamy用OPDG来计算面向对象程序切片。D.Liang，L.D.Larsen和M.J.Harrold用SDG来计算对象级切片和面向对象整程序的切片。ZHAO Jian－jun等人用DODG和SDN来计算面向对象程序的动态切片和并发切片。李必信等人提出OOAF逐层求精计算面向对象程序切片［3］。也有对传统依赖图进行扩充来对Java程序做切片的［4］。A.N.Martin等人提出了针对Java程序的层次切片方法［5］。也有对面向对象程序切片作对比研究的［6］。

在面向对象程序切片技术中，绝大部分是语句级的切片，对对象的探讨大都是融合在整个切片体系中的。李必信等人用简化的系统依赖图构造了粗粒度的切片，粒度是方法级的，也有文章如文献 ［7］对李必信的粗粒度切片有一定扩展的。D.Liang和 M.J.Harrold的对象级切片方法是基于SDG的。专门对对象间的关系的探讨如文献 ［8］，阐述了对象间的关系类型。本文在程序切片技术思想的基础上，依据对象间的关联、组合等UML类间关系［9］构造对象级切片，提出一种对象级粗粒度切片方法，这种对象级粗粒度切片相对于庞大的语句级切片在一定程度上有更好的可读性和实用性，为人们分析面向对象程序的对象框架提供了一种途径。……