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

Design and Implementation of C Program Slicing System

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

According to the features of the C language,some important concepts,such as the data dependence,control dependence,program dependence and so on,are introduced.Authors present a C program slicing system including the general idea of design, data structures and slicing algorithm used in the system.The C program slicing system is not only used to generate the C program slices,but also applied to view the frame of the C program and a variety of data dictionaries related to specific variables.All of the results supply a lot of useful information for C program testing,debugging and maintaining,and support C program parallel validating,rippling analysis and complexity measuring.