本文從C++靜態(tài)分析的角度出發(fā)，介紹了模板和泛型構(gòu)件技術(shù)、一個C++靜態(tài)分析器實現(xiàn)
中對模板和基本泛型構(gòu)件的分析和識別方法、以及一種基于UML 的泛型構(gòu)件的表示方法。
[關(guān)鍵字] C++,模板,泛型構(gòu)件,UML,靜態(tài)分析, 軟件測試
模板是C++中用來實現(xiàn)泛型的主要手段，它為構(gòu)造泛型構(gòu)件和泛型程序庫提供了強有力的支持，標準模板庫(STL)[1]是C++中運用泛型編程(generic programming)[1][2]技術(shù)實現(xiàn)的第一個重要的產(chǎn)品。模板和泛型編程為軟件開發(fā)提供了新的手段，與此同時，也對軟件開發(fā)中程序的理解和測試提出了新的要求。
靜態(tài)分析通過分析軟件源代碼來獲得程序中的各種信息，幫助程序員理解程序，常見的靜態(tài)分析工具有Rational Rose C++[3]、Understand for C++[4]等。QESat/C++[5]是由北航軟件所開發(fā)的C++軟件分析與測試工具，在靜態(tài)分析方面，它能對模板作比較完善的語法分析，并對基于模板構(gòu)造的泛型程序庫作基本的構(gòu)件化分析。
本文第一章首先簡要介紹 C++中模板和泛型構(gòu)件的基本概念；第二、三章介紹了在C++靜態(tài)分析器實現(xiàn)中，對模板和基本泛型構(gòu)件的識別方法；最后，在第四章中提出了一種基于UML[6]的基本泛型構(gòu)件及其相關(guān)元素的表示方法。