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

摘要

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