介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用。
The basic conceptions of dynamic slicing are introduced, to which the program dependence graph arithmatic is tried to apply, thus reducing the scope of program analysis.
介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用。
The paper discusses basic concepts in dynamic slicing at first, then presents a dynamic slicing method based-on dynamic flow, it′s application in software test and program debugg.
从事件时序和因果关系的新角度,定义了事件依赖、构件依赖、构件系统依赖图等构件系统依赖性分析的概念,并给出提取这些依赖关系的算法。
Define the event dependence and the component dependence from a new method of event's causality and time sequence. Corresponding algorithms are also proposed.
对传统的2PL协议冲突操作概念加以扩展,本文提出用依赖图方法判断数据仓库实例化视图调度是否可串行化。
Based on the conventional 2pl protocol, we propose our concurrency control theory for data warehouse multiple view to ensure the data consistency of data warehouse.
系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。
To program slicing, the concept of SDG and a two-pass algorithm are effective to solve "calling-context" problem.
系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。
To program slicing, the concept of SDG and a two-pass algorithm are effective to solve "calling-context" problem.
应用推荐