CAJ | 학술논문

基于系统依赖图是计算面向对象程序切片的一个有效方法.但是,系统依赖图的缺点是太复杂,而且在建立系统依赖图的过程中容易出错,一旦出现错误就可能导致切片结果的不准确.通过对系统依赖图进行简化,得到了简化的系统依赖图.它省略了那些表示输入参数和输出参数的结点和概括边.同时,还定义了一种面向对象程序的粗粒度切片概念,讨论了它的性质,分析了它与细粒度切片的关系,并基于简化的系统依赖图计算面向对象程序的粗粒度切片.最后还讨论了切片技术的简单实现.
기우계통의뢰도시계산면향대상정서절편적일개유효방법.단시,계통의뢰도적결점시태복잡,이차재건립계통의뢰도적과정중용역출착,일단출현착오취가능도치절편결과적불준학.통과대계통의뢰도진행간화,득도료간화적계통의뢰도.타성략료나사표시수입삼수화수출삼수적결점화개괄변.동시,환정의료일충면향대상정서적조립도절편개념,토론료타적성질,분석료타여세립도절편적관계,병기우간화적계통의뢰도계산면향대상정서적조립도절편.최후환토론료절편기술적간단실현.
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.