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

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

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

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