基于靜態(tài)分析的設(shè)計模式提取.pdf

1、設(shè)計模式是有經(jīng)驗的面向?qū)ο笤O(shè)計者所總結(jié)的針對若干典型問題的經(jīng)典解決方案，已經(jīng)得到廣泛的認(rèn)可和應(yīng)用。從程序代碼中自動地提取出設(shè)計模式有助于人們對程序的理解。設(shè)計模式必須符合一定的語法特征，又必須實現(xiàn)一定的語義?，F(xiàn)有研究中，人們主要面向結(jié)構(gòu)信息、行為信息來提取設(shè)計模式，面向語義信息提取設(shè)計模式的研究較少。本文以語義信息的分析、驗證為出發(fā)點研究以java語言實現(xiàn)的設(shè)計模式的提取技術(shù)。
　　 狀態(tài)模式中，不同的狀態(tài)由不同的具體狀態(tài)類表示

2、。本文通過分析類型傳播圖得到環(huán)境類所引用的具體狀態(tài)類及這些具體狀態(tài)類之間的轉(zhuǎn)換關(guān)系，由此得到狀態(tài)模式的狀態(tài)轉(zhuǎn)換圖。文中給出了具體的算法。接著本文利用Petri網(wǎng)中的謂詞/變遷系統(tǒng)表達抽象語義的能力，設(shè)計了一種用于驗證設(shè)計模式語義信息的模型--OV-Pr/T系統(tǒng)。分析表明OV-Pr/T系統(tǒng)具有較強的語義表達能力，更利于驗證設(shè)計模式的語義信息。本文還對6個設(shè)計模式構(gòu)建了OV-Pr/T系統(tǒng)，并驗證了它們的語義信息。
　　 論文的工作包

3、括以下幾個方面：（1）深入分析狀態(tài)模式的語義信息，依據(jù)狀態(tài)模式中具體狀態(tài)由抽象狀態(tài)類的各個子類表示的特點，在不同的狀態(tài)下對環(huán)境類中表示當(dāng)前狀態(tài)的變量進行類型分析，提出一種基于類型傳播圖恢復(fù)狀態(tài)模式的狀態(tài)轉(zhuǎn)移圖的算法：（2）分析了對象變量在一些設(shè)計模式中的語義特性，并根據(jù)該特性參照類型傳播圖，構(gòu)建OV-Pr/T系統(tǒng)以用于驗證設(shè)計模式的語義信息，并接著詳細(xì)地分析了OV-Pr/T系統(tǒng)的語義驗證能力。（3）對6個設(shè)計模式構(gòu)建了OV-Pr/T系統(tǒng)