1) Data dependency analysis
数据依赖性分析
2) Data dependence analysis
数据依赖分析
1.
First,we implement a preliminary data dependence analysis algorithm for nonaffine array subscript references.
本文深入分析了GCC4·1的数据依赖分析器,针对它在分析Fortran程序的线性化数组访问时的不足,给出了两点改进:一是初步实现了一个非仿射数组下标依赖分析算法;二是提出并实现了分裂递归链的仿射数组下标数据依赖分析方法。
3) dependency analysis
依赖性分析
1.
Integration framework of enterprise components based on dependency analysis;
基于依赖性分析的企业级组件集成框架
2.
UML Statechart Slicing Based on Dependency Analysis in the Regression Testing;
基于依赖性分析的UML状态图切片在回归测试中的应用
3.
Through the dependency analysis,this paper generates the UML statechart diagram and dependency diagram.
该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供一种方法,并运用SATM实例讨论该技术在回归测试中的应用。
4) dependence analysis
依赖性分析
1.
Based on analyzing the effects of exception handling constructs on dependence analysis, this paper proposes a precise and efficient representation for C++ programs with exception handling constructs—improved control flow graph.
在分析异常处理结构对程序依赖性分析影响的基础上,对传统的控制流图进行改进,提出了一种新的能够描述包括异常处理结构在内的函数内和函数间的C++程序的依赖性分析模型,并给出了相应的构造算法。
2.
Based on Q-learning method, the paper presents a novel idea of program dynamic dependence analysis, and gives an algorithm which can make analysis for complex programs more concise, more intelligent and more efficient.
本文提出基于Q学习的复杂程序动态分析思想 ,构造了基于Q学习的复杂程序动态依赖性分析基本算法 ,并对复杂程序动态实时分析与控制技术的实现环节进行了研究 ,探讨了相关问题 ,从而使复杂程序动态分析与控制过程更精炼、更智能、更高效。
3.
It is analyze the programming parallelism on Ada95 and implemented the principle with a series of algorithms based on control and data-dependence analysis, and made the auto-recognition possible in this thesis.
通过对Ada95分布程序级并行性的分析,利用控制依赖性分析与数据依赖性分析,构造了一系列算法实现了该理论,使得对Ada源程序的自动并行性识别成为可能。
5) Parameter Dependency Analysis
参数依赖分析
6) data dependence
数据依赖
1.
This paper discusses a visualization model for data dependence relation which is an important factor for parallel program analysis.
讨论了并行程序分析中重要因素之一的数据依赖关系的可视化策略及其交互原则，提出了一种基于属性关系图的依赖关系表示方法，并给出了对具有关系特性的数据进行可视化时的逻辑描述和几何描述。
2.
According to the features of the C language,some important concepts,such as the data dependence,control dependence,program dependence and so on,are introduced.
针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。
3.
Then it extends data dependence concepts and re-duces program size by logical equality.
该算法改造了程序控制流程图,扩充了程序数据依赖定义,按照条件切片的一阶逻辑谓词缩减目标程序,并用扩充后的数据依赖计算有条件程序切片。
补充资料：数据依赖
数据依赖
data dependency
shu]u yilai数据依赖(data dependency)关系数据库中数据间的一种语义约束。它是通过元组属性值的相等与否来确定元组属性的相互联系。数据依赖的内容较多，主要的有函数依赖和多值依赖。 昌数依翔:设R(U)是定义在属性集U上的关系模式，r是R(U)的任一关系，X，Y为U的子集。若r中的任意两个元组、，t，在属性X上取值相等，即:仁X」=t[X」;则:，t在属性Y上取值也相等，即:【Y」=t[y]，称属性X函数决定属性Y，或属性Y函数依赖于X;记为X~Y。 函数依赖蕴含在关系模式中。若X卫Y，则X~Y成立，称它为平凡函数依赖;若X~Y成立，且X中不存在真子集X‘使得X’~Y成立，则称X~Y为完全函数依赖，否则称为部分函数依赖。 例:关系模式R(C，S，Z)，C为城市名，S为街道名，Z为邮政编码。显然函数依赖Z~C，CS~Z成立。 多位依期:设R(U)是定义在属性集U上的关系模式，r是R(U)上的任意关系，X，Y为U的子集。若r中的任意两个元组:，t，在属性X上取值相等:〔X」二t[Xj，则在r中存在元组中，伞，取值为: 中[X卜、[X]中[Y〕=:[Y〕 中【u一x一Y」=t[U一x一Y」; 伞〔X〕=t[X]伞[Y〕=t[Y] 伞[U一X一Y」二:【U一X一Y」;称属性X多值决定属性Y，或属性Y多值依赖于X;记为X一Y。若U=XUY，则X~Y成立，称它为平凡多值依赖。 例:关系模式R(C，T，5，H，R)，其中C，T，S，H，R分别为课程名、教师名、学生名、上课的时间和教室。则有多值依赖C、~矛识成立。 数据依赖在关系数据库中广泛存在，并导致了数据冗余，使关系操作中的修改、插人、删除产生异常现象。数据依赖是关系数据库的重要研究内容。关系数据库的设计，特别是规范化理论是建立在它的基础上的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条