...源代码进行逆向建模，得到软件的基本模型信息，再根据 模型信息分析构建出软件的系统结构或相关文档；程序切片(program slicing)是根据控 制流和数据流分析而引进的一种程序分析技术。 程序理解过程主要包括程序分析及约束集生成两个子过程。
基于104个网页-相关网页
静态程序切片 static slicing of programs
Program slicing is a method for decomposing programs by analyzing their data flow and control flow.
程序切片是一种通过程序的数据流和控制流来分解程序的一种方法。
参考来源 - 基于Petri网程序切片方法的Minix3的分析与测试研究At present interior and overseas many researchers concern software comprehension research on the technology exploration to accidence layer and syntax layer, such as program slice, program class track, program dependence analysis, compilation and decompilation.
目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索,相应的有程序切片、程序类跟踪、程序依赖性分析、反汇编与反编译等方法。
参考来源 - 基于语义层软件理解的形式化格局识别技术 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
程序切片算法必须建立在对源程序信息正确、完整分析的基础上。
Program slicing algorithm must be based on accurate and complete source code analysis.
现提出一种新的基于程序切片技术对XML文档进行切片的方法。
A XML slice method which is based on the program slicing technique to solve this problem is presented.
将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。
The statements need to be tested can be decreased by applying the program slicing technology to locate program fault.
程序切片有两个含义： 1、一般地，把只与某个输出有关的语句和谓词构成的程序称为源程序的一种静态切片。 2、计算程序切片的过程。 程序切片是一种用于分解程序的程序分析技术，它的原理和方法是由M.Weiser于1979年在他的博士论文中首次建立。 计算程序切片的方法主要有两种：根据数据流方程计算和根据依赖图关系计算。 可分为静态、有条件和动态切片，各种切片都有各自的优势与劣势，对软件逆向工程方面有一定的帮助。 实例（）： int i; int sum =0; int product =1; for(i =0; i < N;++i){ sum = sum + i; product = product *i; } write(sum); write(product); 在以write(sum) 为准则进行后向切片时，将得到如下结果： int i; int sum =0; for(i =0; i < N;++i){ sum = sum + i; } write(sum);
应用推荐