代码切片

代码切片（program slicing），理学-计算机科学技术-信息安全-信息系统安全-软件安全-软件安全防御，一种用于快速分析和理解程序的技术。又称程序切片。代码切片由美国科学家M.维瑟（Mark Weiser）在1981年提出。根据切片规则，对源程序中每个兴趣点分别计算切片，从而可达到对程序进行快速分析和理解的目的。切片是影响指定值的程序语句和判定表达式组成的语句集合，其不仅同在该点定义和使用的变量有关，而且与影响该变量的值的语句、谓词以及受该变量的值影响的语句和谓词有关。代码切片包括静态切片、有条件切片和动态切片，各种切片都有各自的优势和劣势。代码切片可在软件调试中用来更方便地定位错误源，可用于软件维护、优化，程序分析，以及信息控制流分析等。