留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

汪浩 金茂忠 陈起 高仲仪

汪浩, 金茂忠, 陈起, 等 . 基于基元关系模型的C++程序静态分析器[J]. 北京航空航天大学学报, 2001, 27(4): 391-395.
引用本文: 汪浩, 金茂忠, 陈起, 等 . 基于基元关系模型的C++程序静态分析器[J]. 北京航空航天大学学报, 2001, 27(4): 391-395.
WANG Hao, JIN Mao-zhong, CHEN Qi, et al. C++ Program Static Analyzer Based on Element Relation Model[J]. Journal of Beijing University of Aeronautics and Astronautics, 2001, 27(4): 391-395. (in Chinese)
Citation: WANG Hao, JIN Mao-zhong, CHEN Qi, et al. C++ Program Static Analyzer Based on Element Relation Model[J]. Journal of Beijing University of Aeronautics and Astronautics, 2001, 27(4): 391-395. (in Chinese)

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

详细信息
  • 中图分类号: TP 311.56

C++ Program Static Analyzer Based on Element Relation Model

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

     

  • [1] Binder R V. Object-oriented software testing[J]. CACM, 1994,37(9):28~29. [2] McGregor J D, Korson T D. Integrated object-oriented testing and development processes[J]. CACM, 1994,37(9):59~77. [3] 普瑞斯曼.软件工程——实践者的研究方法[M].黄柏素等译. 北京:机械工业出版社,1999. [4] Berard E V. Metrics for object-oriented software engineering . http://www.toa.com/pub/moose.htm,1995-01-28. [5] 高仲仪,金茂忠.编译原理及编译程序构造[M]. 北京:北京航空航天大学出版社,1990. [6] Microsoft公司.Microsoft Visual C+ + 6.0 language reference,语言参考手册[M].希望图书创作室译. 北京:北京希望电子出版社,1999.
  • 加载中
计量
  • 文章访问数:  2543
  • HTML全文浏览量:  19
  • PDF下载量:  1350
  • 被引次数: 0
出版历程
  • 收稿日期:  2000-09-20
  • 网络出版日期:  2001-04-30

目录

    /

    返回文章
    返回
    常见问答