摘要
本文从C++静态分析的角度出发,介绍了模板和泛型构件技术、一个C++静态分析器实现中对模板和基本泛型构件的分析和识别方法、以及一种基于UML的泛型构件的表示方法。
This paper introduces a C++ static analyzer capable of parsing templates, together with a customized definition of basic generic component in C++ and the notations based on UML for visualizing the basic generic components.
出处
《微计算机信息》
北大核心
2005年第09X期123-125,共3页
Control & Automation
基金
863项目"软件测试技术和软件测试平台"(编号2001AA113100)资助
关键词
C++
模板
泛型构件
UML
静态分析
软件测试
C++, template, generic component, UML, static analysis, software testing