摘要
针对C语言的特点,文中引入了C程序的一些重要概念,诸如数据依赖、控制依赖和程序依赖等。在分析C程序的程序依赖性的基础上,介绍了作者设计并实现的一个C程序切片系统,其中包括系统的概要设计思想,系统中使用的数据结构以及切片生成算法。C程序切片系统不仅可用于产生C程序的切片,而且可用于观察C程序的框架结构和有关变量的多种数据字典。所有这些结果,为C程序的测试、排错与维护提供许多有用的信息,对C程序的并行性检测、波动分析和复杂性度量提供有力的支持。
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.
出处
《南京航空航天大学学报》
CAS
CSCD
1996年第4期505-510,共6页
Journal of Nanjing University of Aeronautics & Astronautics
关键词
软件工具
程序设计
数据结构
程序切片
software tools
programming
data structure
program slicing
data dependence
control dependence