C程序单元级依赖性分析  

Analysis of Dependences among C Program Units

作　　者：周晓宇[1] 黄文伟[1] 史亮[1] 徐宝文[1] 

机构地区：[1]东南大学计算机科学与工程系

出　　处：《计算机与数字工程》2004年第6期1-4,27,共5页Computer & Digital Engineering

基　　金：国家自然科学基金 (60 3 73 0 66);国家重点基础发展规划 973资助项目 (2 0 0 2C3 12 0 0 0 );国家自然科学基金青年科学基金 (60 3 0 3 0 2 4);武汉大学软件工程国家重点实验室开放基金;江苏省计算机信息处理技术重点实验室 (苏州大学)开放基金 (KJS0 2 0 0 9;T

摘　　要：程序依赖性分析是软件分析的一个基本内容 ,目前的相关工作大多集中在语句级的分析方面。人们同样需要单元级的依赖信息来考察单元间的信息流向及整个程序的构架。本文针对C程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析 ,并提出单元依赖图表达这些关系。基于此图 ,本文采用基于信息论的方法度量了单元间的耦合性。单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性。相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件。The focus of software dependence analysis is on the dependences between statements, however the dependence information among program units is useful to improve software comprehension. This paper analyses the dependences among C program units caused by function call, parameter transformation, using of nonlocal data and the dependences among files caused by the use of include and extern. We introduce Dependence-Graph among Program Units(DGPU) to express these relations, based on which a measurement method for coupling is presented. The exclusion among function calls expressed by DGPU makes the measurement more accurate. The main idea and technology presented in this paper can also be utilized to analyze programs written in other high level programming languages.

关 键 词：依赖性 函数调用 指针分析 内聚性 度量 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]