| 基于基元关系模型的C+ +程序静态分析器 |
| |
| 作者姓名： | 汪浩 金茂忠 陈起 高仲仪 |
| |
| 作者单位： | 北京航空航天大学 计算机科学与工程系;北京航空航天大学 计算机科学与工程系;北京航空航天大学 计算机科学与工程系;北京航空航天大学 计算机科学与工程系 |
| |
| 摘 要： | 分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(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 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《北京航空航天大学学报》浏览原始摘要信息 |
|
点击此处可从《北京航空航天大学学报》下载免费的PDF全文 |
