本书主要介绍程序切片的起源和发展，程序切片技术的图论基础，程序切片的各种变体，计算程序切片的各种方法，以及程序切片技术在软件调试、波动分析、软件测试、度量、重用、程序理解、逆向工程和软件安全等方面的应用，并讨论了程序切片技术的发展趋向。

本书适合作为高等院校计算机软件专业学生学习“软件工程”、“软件分析与测试”等课程的参考书或工具书，也适合作为软件分析与测试研究人员的参考书。

本书主要介绍程序切片的起源和发展，程序切片技术的图论基础，程序切片的各种变体(如静态切片、动态切片、有条件切片、并发切片、面向对象程序的切片、体系结构切片和规约切片等)，计算程序切片的各种方法，以及程序切片技术在软件调试、波动分析、软件测试、度量、重用、程序理解、逆向工程和软件安全等方面的应用，并讨论了程序切片技术的发展趋向。

本书适合作为高等院校计算机软件专业学生学习“软件工程”、“软件分析与测试”等课程的参考书或工具书，也适合作为软件分析与测试研究人员的参考书。

上篇 程序切片技术基本原理

第1章 概论

 1.1 程序切片技术的起源和发展

1.1.1 从数据流方程到程序依赖图

1.1.2 从可执行的程序切片到不可执行的程序切片

1.1.3 静态切片、动态切片和有条件切片

1.1.4 后向切片和前向切片 

1.1.5 从源程序代码切片到软件规约切片

1.1.6 从单一切片到多种切片

 1.2 程序切片技术的应用概述

1.2.1 程序调试

1.2.2 软件维护

1.2.3 回归测试

1.2.4 软件度量

1.2.5 软件重用

1.2.6 软件安全

 1.3 程序切片工具简介

1.3.1 支持C语言的PST

1.3.2 支持Ada语言的P盯

1.3.3 支持Oberon-2语言的PST

1.3.4 支持Jrdva语言的PST

1.3.5 其他PST

小结

思考题

参考文献

第2章 图论基础

 2.1 控制流图

2.1.1 基本模块

2.1.2 控制流图定义

2.1.3 基本属性

 2.2 控制流分析

2.2.1 控制流

2.2.2 控制流的表示方法

2.2.3 支配节点和后必经节点

2.2.4 循环识别

 2.3 数据流分析

2.3.1 可到达定义

2.3.2 数据流方程

2.3.3 活性分析

 2.4 数据依赖和控制依赖

2.4.1 控制依赖

2.4.2 数据依赖

 2.5 程序依赖图

2.5.1 过程内依赖图

2.5.2 过程间依赖图

小结

思考题

参考文献

第3章 静态程序切片

 3.1 引言

 3.2 Mark weiSer程序切片

3.2.1 初步理解

3.2.2 基本术语

3.2.3 Mark weiser的数据流算法

 3.3 过程内切片

3.3.1 构造程序依赖图

3.3.2 图可达性算法

3.3.3 例子分析

 3.4 过程间切片

3.4.1 构造系统依赖图

3.4.2 构造特征子图的算法

3.4.3 过程问切片的算法

 小结

 思考题

 参考文献

第4章 动态程序切片

 4.1 引言

 4.2 基本术语

4.2.1 程序依赖图和静态切片

4.2.2 执行历史和动态切片准则

 4.3 Agrawal和Horgan的动态切片

4.3.1 动态切片方法1

4.3.2 动态切片方法2

4.3.3 动态切片方法3

4.3.4 动态切片方法4

 4.4 Korel和Laski的动态切片

小结

思考题

参考文献

第5章 有条件程序切片

 5.1 引言

 5.2 有条件切片

5.2.1 准静态切片

5.2.2 同时动态切片

5.2.3 一般的有条件切片模型

5.2.4 有条件切片计算

 5.3 切片模型关系分析

 5.4 分割分析

 小结

 思考题

 参考文献

第6章 面向对象程序切片

 6.1 引言

 6.2 传统系统依赖图的缺陷分析

 6.3 面向对象系统依赖图

6.3.1 OOSDG的基本组成模型

6.3.2 OOSDG对SDG的扩充

6.3.3 类依赖图

6.3.4 虚函数调用图的构造

6.3.5 OOSDG的构造算法

6.3.6 基于O0SDG的程序切片算法

小结

思考题

参考文献

第7章 并发程序切片

 7.1 引言

 7.2 Cheng的并发程序切片思想

 7.3 Krinke多线程程序静态切片方法

7.3.1 线程控制流图 

7.3.2 线程程序依赖图

7.3.3 基于tPDG的切片

 7.4 Nanda和Ramesh的并发程序切片方法

 7.5 并发程序的动态切片

7.5.1 进程图和静态程序依赖图

7.5.2 进程图到并发图

7.5.3 构建DPDG

 7.6 面向对象并发程序的切片方法

7.6.1 Zhao的早期方法

7.6.2 Java并发程序的切片方法

小结

思考题

参考文献

第8章 规约切片

 8.1 形式规约切片

8.1.1 静态形式规约切片

8.1.2 动态形式规约切片

8.1.3 其他形式规约切片

 8.2 基于规约的程序切片

8.2.1 前置和后置条件

8.2.2 基于规约的切片

 8.3 体系结构规约切片

8.3.1 体系结构规约

8.3.2 体系结构切片定义

8.3.3 体系结构信息流图和体系结构切片的计算

 8.4 动态软件体系结构切片

……

第9章 新型切片变体

中篇 程序切片技术的基本应用

第10章 程序调试

第11章 波动分析

第12章 软件测试

第13章 软件编护

第14章 复杂性度量

第15章 软件安全

第16章 软件重用

第17章 应用扩展

下篇 程序切片技术展望

第18章 层次切片模型及其实现

第19章 层次切片模型的应用

第20章 结束语

附录