一个C程序切片系统的设计与实现

摘要

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖，控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现了一个Ｃ程序切片系统，其名包括系统在概要设计思想，系统中使用的数据结构以及切片生成算法，Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典，所有这些结果，为Ｃ程序的测试，排错与维护提供许多用的信息，对Ｃ程序的并行性