节点文献
基于基元关系模型的C++程序静态分析器
C++ Program Static Analyzer Based on Element Relation Model
【摘要】 分析了面向对象软件测试和度量的特点 ,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型 (ERM) ,介绍了从基于MFC(MicrosoftFoundationClass)的VisualC ++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.
【Key words】 software engineering; software tools; programming language; object oriented; software testing; software measurement; static analyse;
- 【文献出处】 北京航空航天大学学报 ,Journal of Beijing University of Aeronautics and Astronautics , 编辑部邮箱 ,2001年04期
- 【分类号】TP311.56
- 【被引频次】6
- 【下载频次】125