北京航空航天大学学报 ›› 2001, Vol. 27 ›› Issue (4): 391-395.

• 论文 • 上一篇    下一篇

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

汪浩, 金茂忠, 陈起, 高仲仪   

  1. 北京航空航天大学 计算机科学与工程系
  • 收稿日期:2000-09-20 出版日期:2001-04-30 发布日期:2010-11-19
  • 作者简介:汪 浩(1974-),男,安徽淮北人,博士生,100083,北京.

C++ Program Static Analyzer Based on Element Relation Model

WANG Hao, JIN Mao-zhong, CHEN Qi, GAO Zhong-yi   

  1. Beijing University of Aeronautics and Astronautics, Dept. of Computer Science and Engineering
  • Received:2000-09-20 Online:2001-04-30 Published:2010-11-19

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

Abstract: On the need of the Object-Oriented (OO) testing and measurement, and even OO program compiler construction, to analyze the elements in OO programs becomes an important task. The ERM (Element Relation Model) is presented here, on which a static analyzer was constructed for better OO testing and measurement effectiveness and efficiency. Based on ERM and MFC (Microsoft Foundation Class) a VC+ + 6.0 program analyzer is introduced here to depict how ERM can help test and measure OO software. Furthermore, the paper introduces some primarily concerned key technologies on constructing OO program analyzer, even OO compiler, such as how to structure the symbol table by namespace, how to incrementally extract ERM from OO programs. The static analyzer has proved the efficiency and correctness of the ERM. And at the same time it proved ERM would be helpful in OO testing and OO measurement practice and research.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发