C++ Program Static Analyzer Based on Element Relation Model

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.