1) program dependency
程序依赖性
1.
Program dependency analysis is the basic theory on software analysis that can quantify many indexes on program dependency.
程序依赖性分析是软件分析的基本理论,可以对程序的多项依赖性指标进行度量。
3) 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.
介绍一种基于控制流的多线程程序的静态切片算法 ,该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息 ,利用这些信息能够判断出程序中的多线程可实现路径 ,从而提高多线程程序静态切片的精度和效率 。
4) 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.
在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。
5) 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.
针对静态程序分析得到的信息冗余且无法反映面向对象目标系统多态和动态绑定的本质特征,而动态分析则与动态程序执行有关的,无法得到完整的依赖关系,提出反射植入动态分析和开放编译静态分析相结合的方式,并将得到的静态和动态信息有机结合起来产生动静态结合程序依赖图。
6) Long-Range Dependence
长程依赖性
1.
The fluid rate of the model takes on LRD (Long-Range Dependence) characteristic as well as SRD (Short-Range Dependence) characteristic.
当调节模型参数时 ,该模型既表现长程依赖性 L RD(L ong- Range Dependence) ,又表现出短程依赖性 SRD(Short- Range Dependence)。
补充资料：陈述性／程序性知识
陈述性／程序性知识
declarative-procedural knowledge
陈述性程序性知识(d eelarative一proeeduralknowledge)现代认知心理学所划分的两种基本的知识类型。陈述性知识指知道是什么，即关于事实的知识;程序性知识指知道怎么做，即关于技能的知识。大部分陈述性知识能够用语言表述，而程序性知识却很难被意识到。例如，大多数人知道怎样骑自行车，但不能用语言清楚地表述出来;而3 X4二12则能用语言表述。前者是程序性知识，后者是陈述性知识。认知心理学主要关心这两类知识在头脑中是怎样被表征的。一般认为，陈述性知识有言语、意象和命题三种表征方式，而程序性知识则是由一套产生式系统来表征的。 (谭立海撰粤藕铃审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条