Program slicing algorithm must be based on accurate and complete source code analysis.
程序切片算法必须建立在对源程序信息正确、完整分析的基础上。
A XML slice method which is based on the program slicing technique to solve this problem is presented.
现提出一种新的基于程序切片技术对XML文档进行切片的方法。
To program slicing, the concept of SDG and a two-pass algorithm are effective to solve "calling-context" problem.
系统依赖图的概念及两阶段图形可达性算法的出现，则有效解决了程序切片的过程调用问题。
The statements need to be tested can be decreased by applying the program slicing technology to locate program fault.
将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。
Program slicing is used in many fields such as program understanding, debugging, maintenance, testing and integration.
程序分片在程序理解、调试、维护、测试和集成等许多领域都有广泛的应用。
The program slicing technique is employed in software test data generation so that the efficiency of test data generation can thus be enhanced.
把程序切片技术应用于软件测试数据生成中，可以有效地提高基于路径的测试数据生成效率。
Program slicing is a technology of analyzing and understanding program. The technology of process-oriented program slicing is becoming more mature.
程序切片技术是一种分析和理解程序的技术，其中面向过程程序切片技术已趋于成熟。
An automatic program slicing method is proposed which applies the data flow equation algorithm to the abstract implementation structure diagram for PASCAL.
提出在PASCAL抽象实现结构图上，采用数据流方程算法实现程序切片的自动化。
Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing-modular monadic slicing.
因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。
The program slicing technique is a kind of technique used to analyse and understand a program, which possesses the characteristics of problem simplification and target localization.
程序切片技术是一种分析和理解程序的技术，具有可以简化问题，缩小目标范围的特点，在软件维护、程序调试、测试、代码理解等诸多领域有着广泛的应用。
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.
介绍了动态切片的基本概念，并将程序依赖图算法应用于动态切片，从而达到缩小程序分析范围的目的，讨论了动态切片在程序调试和软件测试中的应用。
应用推荐