1) PDG arithmetic
程序依赖图算法
2) program dependency graph
程序依赖图
1.
The main idea of the algorithm is to retain the control-flow information while the threaded program dependency graph is constructed, with which the threaded realized paths can be identified, by doing this we can improve the slice s precision and slicing s efficiency.
介绍一种基于控制流的多线程程序的静态切片算法 ,该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息 ,利用这些信息能够判断出程序中的多线程可实现路径 ,从而提高多线程程序静态切片的精度和效率 。
3) program dependence graph
程序依赖图
1.
The paper presents a program structure partition method based on the program dependence graph, i.
本文提出了一种基于程序依赖图的程序结构划分的测试方法 ,即程序块划分法 。
2.
This paper handled the transitivity of the information flow with the program dependence graph before constructing the IFG.
利用程序依赖图先处理系统信息流中的传递关系,然后再进行信息流图的生成,从而减少引入系统中不存在的信息流路径,减少信息流分析时的工作量。
3.
To resolve the inter-procedural call,the article converted it to intra-procedural call by establishing a suggestive table,which predigested the complexity of establishing the program dependence graph greatly.
在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。
4) call graph
程序依赖图
1.
A program understanding technique that combines open compile analysis and reflective instrumentation dynamic analyses is introduced to construct static and dynamic combined call graph for assisting program comprehension.
针对静态程序分析得到的信息冗余且无法反映面向对象目标系统多态和动态绑定的本质特征,而动态分析则与动态程序执行有关的,无法得到完整的依赖关系,提出反射植入动态分析和开放编译静态分析相结合的方式,并将得到的静态和动态信息有机结合起来产生动静态结合程序依赖图。
5) concurrent program dependence graph
并发程序依赖图
补充资料：图算法
分子式：
CAS号：
性质：一种查图获得计算结果的方法。可用以代替复杂的计算。所查的图是由有若干有标尺的线条所组成的算图。每一算图通常只能供一种运算。运算时，根据已知条件，从某一线条的一点开始，一次或多次联结其他线条上的点而获得答案。例如求某物质在一定温度下的黏度时，可在有关算图上用直线连接温度线条上的一点和图中代表该物质的另一点，并引伸到与黏度线条相交，这交点就是所求的黏度。由于化工生产中不少计算需要重复进行，因而应用本法极其广泛。例如在流体的物性和热传导、燃料的热值、蒸馏、扩散、吸收、萃取、干燥、结晶、过滤等计算上，都大量地使用算图。
CAS号：
性质：一种查图获得计算结果的方法。可用以代替复杂的计算。所查的图是由有若干有标尺的线条所组成的算图。每一算图通常只能供一种运算。运算时，根据已知条件，从某一线条的一点开始，一次或多次联结其他线条上的点而获得答案。例如求某物质在一定温度下的黏度时，可在有关算图上用直线连接温度线条上的一点和图中代表该物质的另一点，并引伸到与黏度线条相交，这交点就是所求的黏度。由于化工生产中不少计算需要重复进行，因而应用本法极其广泛。例如在流体的物性和热传导、燃料的热值、蒸馏、扩散、吸收、萃取、干燥、结晶、过滤等计算上，都大量地使用算图。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条