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

摘要：

基于系统依赖图是计算面向对象程序切片的一个有效方法.但是,系统依赖图的缺点是太复杂,而且在建立系统依赖图的过程中容易出错,一旦出现错误就可能导致切片结果的不准确.通过对系统依赖图进行简化,得到了简化的系统依赖图.它省略了那些表示输入参数和输出参数的结点和概括边.同时,还定义了一种面向对象程序的粗粒度切片概念,讨论了它的性质,分析了它与细粒度切片的关系,并基于简化的系统依赖图计算面向对象程序的粗粒度切片.最后还讨论了切片技术的简单实现.

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

所属期刊栏目：12

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-306-QN2000-2;江苏省自然科学基金BK99038

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：204-211