1) system dependence graph
系统依赖图
1.
Detecting interger flaws by type-qualified system dependence graph;
使用类型限定的系统依赖图检测整型错误
2.
This paper presents an efficient way of accurately computing a static slice of java programs by hierarchically constructing java system dependence graph,which extends previous dependence based representations to represent various types of program dependences in java software,and extends two-phase algorithm to compute slices of java programs.
本文提出一种层次的构造JAVA系统依赖图的算法,基于JAVA程序本身的层次结构,自顶向下构造系统依赖图,然后基于构造的系统依赖图,用一种改进的两阶段算法得到JAVA程序切片。
3.
In this paper, a scheme for extending traditional system dependence graph based on object orientation is presented, i.
提出一种对传统的系统依赖图进行面向对象扩充的方案 。
2) SDG
系统依赖图
1.
To program slicing,the concept of SDG and a two-pass al-gorithm are effective to solve″calling-context″problem.
系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。
2.
Firstly,a program is represented by a system dependence graph(SDG),and the alias information is analyzed.
首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化。
3) system dependency graph
系统依赖图
1.
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.
提出了把波动效应分析和系统依赖图结合起来进行切片的方法,通过波动效应分析反映面向对象程序中单元间的波动关系,基于系统依赖图切片侧重于分析控制依赖和数据依赖。
4) simplified system dependence graph
简化系统依赖图
5) object oriented SDG
面向对象系统依赖图
1.
Based on the study of OPDG and object oriented SDG which are the mainstreams of object oriented software slicing representations,their characteristics are given and their similarities and differences are compared.
对面向对象程序依赖图和面向对象系统依赖图这两种主流的面向对象切片表示法进行研究后,给出了两种方法的主要特点,并比较了它们的异同点及适用的应用领域。
6) relationship graph
关系依赖图
补充资料:图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G,,GZ,…,则存在指标i
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条