[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2001, Vol. 27 Issue (4) :391-395    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
����, ���, ����, ������*
�������պ����ѧ �������ѧ�빤��ϵ
C++ Program Static Analyzer Based on Element Relation Model
WANG Hao, JIN Mao-zhong, CHEN Qi, GAO Zhong-yi*
Beijing University of Aeronautics and Astronautics, Dept. of Computer Science and Engineering

Download: PDF (374KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ �������������������ԺͶ������ص�,�������������������������������������Ԫ��֮���ϵ�Ļ�Ԫ��ϵģ��(ERM),�����˴ӻ���MFC(Microsoft Foundation Class)��Visual ��C+ +6.0��Դ�����й���ERMģ�͵��㷨,�ݴ˹�����һ�����ڻ�Ԫ��ϵģ�͵Ī�VC+ +6.0������̬������.�Է�����ʵ���в�ȡ�����ƿռ���ű�����ʽ����������ʽ�����ȹؼ����������˽���.ʵ��֤��,�÷��������Ը�Ч��ȷ����ȡ��ģ���������ĸ��ֹ�ϵ,�������������������ԺͶ�������Ľ�һ���о�.
Email Alert
�ؼ����� �������   �������   ��������   �������   �������   �������   ��̬����     
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     
Received 2000-09-20;
About author: �� ��(1974-),��,���ջ�����,��ʿ��,100083,����.
����, ��ï��, ����, ������.���ڻ�Ԫ��ϵģ�͵�C++����̬������[J]  �������պ����ѧѧ��, 2001,V27(4): 391-395
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 A, 2001,V27(4): 391-395
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2001/V27/I4/391
Copyright 2010 by �������պ����ѧѧ��