1) simplified system dependence graph
简化系统依赖图
2) 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.
提出一种对传统的系统依赖图进行面向对象扩充的方案 。
3) 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.
首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化。
4) 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.
提出了把波动效应分析和系统依赖图结合起来进行切片的方法,通过波动效应分析反映面向对象程序中单元间的波动关系,基于系统依赖图切片侧重于分析控制依赖和数据依赖。
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
关系依赖图
补充资料：几乎可简化的线性系统
几乎可简化的线性系统
almost - reduciHe linear system
具有如F性质:存在个常系数系统t公“B夕.夕已R门、并且对姆一个。0，有月，仍.圈变换(LyaPUn(〕vt份I石for-ma加n)L￡(t)，使得经过变量替换x=L。(t)v后，系统(*)可变为系统 少=(B+C巡(t)乏、，，其中 }缪}IC!(‘)}}<标一个可简化的线性系统(甩ILlciblel~s”lell刃)均为儿乎可简化的，几乎可简化的线性系统!曲n喊一悦山心翻晚血.r卿劝曰l;no，T.np皿。朋Ma，几“能.“a，e“eTeMa]，常微分方程的 一个系统 义=A(r)x，x任R”，(*) A(·):R*Hom(R丹，R月)，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条