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

基于基元关系模型的C++程序静态分析器
引用本文:汪浩,金茂忠,陈起,高仲仪. 基于基元关系模型的C++程序静态分析器[J]. 北京航空航天大学学报, 2001, 27(4): 391-395
作者姓名:汪浩  金茂忠  陈起  高仲仪
作者单位:北京航空航天大学 计算机科学与工程系
摘    要:分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究. 

关 键 词:软件工程   软件工具   程序语言   面向对象   软件测试   软件度量   静态分析
文章编号:1001-5965(2001)04-0391-05
收稿时间:2000-09-20
修稿时间:2000-09-20

C++ Program Static Analyzer Based on Element Relation Model
WANG Hao,JIN Mao-zhong,CHEN Qi,GAO Zhong-yi. C++ Program Static Analyzer Based on Element Relation Model[J]. Journal of Beijing University of Aeronautics and Astronautics, 2001, 27(4): 391-395
Authors:WANG Hao  JIN Mao-zhong  CHEN Qi  GAO Zhong-yi
Affiliation:Beijing University of Aeronautics and Astronautics, Dept. of Computer Science and Engineering
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.
Keywords:software engineering  software tools  programming language  object oriented  software testing  software measurement  static analyse
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《北京航空航天大学学报》浏览原始摘要信息
点击此处可从《北京航空航天大学学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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