An improved threaded program dependence graph was proposed which introduced a new dependence relation of loop-carried data dependence crossing thread boundaries.
提出一种改进的并发程序依赖图，引入跨线程边界循环-承载数据依赖关系。
The paper presents a program structure partition method based on the program dependence graph, i. e. Program Block Partition Method, which eases the testing process.
本文提出了一种基于程序依赖图的程序结构划分的测试方法，即程序块划分法。
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 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.
介绍了动态切片的基本概念，并将程序依赖图算法应用于动态切片，从而达到缩小程序分析范围的目的，讨论了动态切片在程序调试和软件测试中的应用。
应用推荐