程序切片是什么程序切片只知道是计算机科学中的一个

google了一下，找到一些概念：

定义：一个程序切片是由程序中的一些语句和判定表达式组成的集合.这些语句和判定表达式可能会影响在程序的某个位置（常用行号标识）p上所定义的或所使用的变量v的值。

所谓程序切片是指通过分析程序的数据依赖和控制依赖而达到自弯裤动分解源程序的一埋游简种方法.其中数据依赖揭示了语句间存在的数据流方面的内在联系而控制依赖则揭示了语句间存在的控制流的内在联系。

程序P的切片S是P的一个可执行部分,对某个兴趣点s处的变量v而言,这个可执行部分相对于程序P,在功能上是等效的[1].程序切片S由程序P中可能影响s处变量v的值的所有语句组成。

程序磨瞎切片是一种分析和理解程序的技术，是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解．程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关，而且与影响该变量的值的语句和谓词以及受该变量的值影响的语句和谓词有关．

pdg是程序依赖图，全称为Program Dependence Graph。

程序依赖图(Program Dependence Graph)是尺和程序的一种图形表示,它是带有标记的有向多重图。程序依赖图能够表示程序的控制依赖和数据依赖关系。

程序依赖图(Program Dependence Graph)是关于源代码的一种图模型。源代码的图模型包括流程图（Control Flow Graph）、控制依赖图（Control Dependence Graph）、数据流程图（dataDependence Graph）、程序依赖图（Program Dependency Graph）。

程序依赖图的特点及作用：

程序依赖图是带有标记的有向多重图。系统程序依赖图是软件程序间控制依赖关系和数据依赖关系的图形表示。面向方面的程序是基于面向方面的思想，使用相关的框架或语言工具，实现系统中横切关注点陵带盯的清晰模块化的程序。

系统依赖图是分析和理解程序的基础工具之一，其在面向对象的程序上的研究渐趋成熟，而在面向方面的程序上的研究才刚刚开始。

处理方法是以程序的控制流图为基础，去掉CFG的控制流边，加入数据和控制流边。包括了数据依赖图行谈和程序依赖图。数据依赖图定义了数据之间的约束关系，控制依赖图定义了语句执行情况的约束关系。程序依赖图是一个有向图。

在建立在SAST技术上的静态分析技术，将程序依赖图算法应用于动态切片，从而达到缩小程序分析范围的目的。

pdg是电子书格式。

这种格式的文件，首先要使用专业的阅读器进行打开，虽然说下载专业阅读器的方法滑歼是比较简单的，但是专业的阅读器下载之后有一系列的激活工具或者是账号登录的问题，如果不是专业的阅读用户，则不必申请相关的账号，如果是专业的用户，可以去申请一些相关的账号，这样可以保护阅读信息。打开pdg有3种方式：

1、使用超星阅读运源器直接打开文件；

2、使用专业的转化格式的转化工具；

3、使用超星信悄冲阅读器转换文件。

---