基于類型分析提取設(shè)計模式實例中的語義信息.pdf

1、設(shè)計模式是軟件設(shè)計中典型問題的經(jīng)典解決方式，但是其具體實現(xiàn)方式豐富多樣。從源程序中識別出設(shè)計模式的實例，并提取出其語法和語義方面的詳細信息，將對軟件的理解和維護有很大的幫助。
　　 目前在基于語法分析提取設(shè)計模式結(jié)構(gòu)特征方面已經(jīng)有了很多研究，而通過語義分析提取設(shè)計模式行為特征的研究還很少。這具體表現(xiàn)為兩個方面：(1)對設(shè)計模式中行為的語義特征缺乏明確、具體、可識別的描述；(2)僅有少量的研究通過方法調(diào)用關(guān)系及調(diào)用順序描述設(shè)計模式

2、的行為語義，缺少在語句級描述和提取設(shè)計模式行為特征的研究。這導(dǎo)致設(shè)計模式識別結(jié)果不夠精確，也不夠精細。
　　 本文以狀態(tài)和策略模式為例，采用語句級的數(shù)據(jù)流分析技術(shù)，通過分析源代碼中變量類型的變化，提取出狀態(tài)(策略)模式的狀態(tài)(策略)轉(zhuǎn)換過程，為分析、區(qū)分這兩個模式提供參考。具體的工作分為以下幾個方面：
　　 (1)設(shè)計一個提取設(shè)計模式的候選集的語法分析器，用以獲取實驗對象，該分析器基于兩種的模式的結(jié)構(gòu)特征提取公共的候選集