首页 | 本学科首页   官方微博 | 高级检索  
     

C程序单元级依赖性分析
引用本文:周晓宇,黄文伟,史亮,徐宝文.C程序单元级依赖性分析[J].计算机与数字工程,2004,32(6):1-4,27.
作者姓名:周晓宇  黄文伟  史亮  徐宝文
作者单位:1. 东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096
2. 东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096;武汉大学软件工程国家重点实验室,武汉,430072
基金项目:国家自然科学基金 (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程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析,并提出单元依赖图表达这些关系。基于此图,本文采用基于信息论的方法度量了单元间的耦合性。单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性。相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件。

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

Analysis of Dependences among C Program Units
Zhou Xiaoyu,Huang Wenwei Shi Liang Xu Baowen.Analysis of Dependences among C Program Units[J].Computer and Digital Engineering,2004,32(6):1-4,27.
Authors:Zhou Xiaoyu  Huang Wenwei Shi Liang Xu Baowen
Affiliation:Zhou Xiaoyu 1)2) Huang Wenwei 1)2) Shi Liang 1)2) Xu Baowen 1)2)3)
Abstract: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.
Keywords:Dependency  Function Call  Pointer Analysis  Coupling  Metric
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号