基于基元关系模型的C+ +程序静态分析器

摘要：

分析了面向对象软件测试和度量的特点，结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型（ERM），介绍了从基于MFC（Microsoft Foundation Class）的Visual C+ +6.0源程序中构造ERM模型的算法，据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明，该分析器可以高效正确地提取出模型中描述的各种关系，有助于面向对象软件测试和度量方面的进一步研究.

关键词：软件工程、软件工具、程序语言、面向对象、软件测试、软件度量、静态分析

所属期刊栏目：27

分类号：TP311.56(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：391-395