系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。
To program slicing, the concept of SDG and a two-pass algorithm are effective to solve "calling-context" problem.
从事件时序和因果关系的新角度,定义了事件依赖、构件依赖、构件系统依赖图等构件系统依赖性分析的概念,并给出提取这些依赖关系的算法。
Define the event dependence and the component dependence from a new method of event's causality and time sequence. Corresponding algorithms are also proposed.
针对面向对象语言程序,提出了一种改进后的系统依赖图:ISDG,用来更好地表示面向对象程序中的依赖关系,从而解决了对象类型参数和属性的表示问题。
ISDG, an improved system dependence graph, is proposed in order to better describe relationships in object-oriented programs. ISDG solves the description problem of parameterized objects.
提出了把波动效应分析和系统依赖图结合起来进行切片的方法,通过波动效应分析反映面向对象程序中单元间的波动关系,基于系统依赖图切片侧重于分析控制依赖和数据依赖。
This method can be used to analyze the semantic relations in object-oriented program units by ripple effect analysis, and the control dependency and data dependency by use of system dependency graph.
提出了把波动效应分析和系统依赖图结合起来进行切片的方法,通过波动效应分析反映面向对象程序中单元间的波动关系,基于系统依赖图切片侧重于分析控制依赖和数据依赖。
This method can be used to analyze the semantic relations in object-oriented program units by ripple effect analysis, and the control dependency and data dependency by use of system dependency graph.
应用推荐