程序切片有两个含义：
1、一般地，把只与某个输出有关的语句和谓词构成的程序称为源程序的一种静态切片。
2、计算程序切片的过程。
程序切片是一种用于分解程序的程序分析技术，它的原理和方法是由M.Weiser于1979年在他的博士论文中首次建立。
计算程序切片的方法主要有两种：根据数据流方程计算和根据依赖图关系计算。