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

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

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