C程序单元级依赖性分析
周晓宇1
黄文伟1
史亮1
徐宝文2
1.东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,2100962.东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096;武汉大学软件工程国家重点实验室,武汉,430072
摘要：程序依赖性分析是软件分析的一个基本内容,目前的相关工作大多集中在语句级的分析方面.人们同样需要单元级的依赖信息来考察单元间的信息流向及整个程序的构架.本文针对C程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析,并提出单元依赖图表达这些关系.基于此图,本文采用基于信息论的方法度量了单元间的耦合性.单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性.相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件.
关键词：依赖性函数调用指针分析内聚性度量
分类号：TP31(计算技术、计算机技术)
资助基金：国家自然科学基金(60373066)国家重点基础研究发展计划（973计划）(2002C312000)国家自然科学基金(60303024)国家重点实验室基金(KJS02009,T8118011)
论文发表日期：2004-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 1-4,27 )
英文信息