C++靜態(tài)分析中對(duì)泛型構(gòu)件的識(shí)別與表示方法

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