使用逃逸分析和依賴性分析識(shí)別設(shè)計(jì)模式的行為特征.pdf

1、設(shè)計(jì)模式是面向?qū)ο筌浖O(shè)計(jì)中針對(duì)典型問(wèn)題的典型解決方案，被廣泛應(yīng)用于軟件系統(tǒng)中。從代碼中識(shí)別設(shè)計(jì)模式實(shí)例有助于對(duì)軟件的理解和再工程。目前，設(shè)計(jì)模式結(jié)構(gòu)特征的識(shí)別研究得比較充分，但對(duì)于設(shè)計(jì)模式的行為特征，現(xiàn)有研究?jī)H僅依據(jù)方法級(jí)的行為信息，即通過(guò)方法間的調(diào)用關(guān)系、調(diào)用順序以及執(zhí)行順序等信息進(jìn)行描述和識(shí)別，沒(méi)有分析語(yǔ)句級(jí)的行為信息，即沒(méi)有具體分析每條語(yǔ)句的具體行為，比較粗略。
　　 本文引入靜態(tài)程序分析技術(shù)從具體的語(yǔ)句、變量層面描述和

2、識(shí)別設(shè)計(jì)模式的行為特征，提出了基于逃逸分析描述和識(shí)別對(duì)象創(chuàng)建行為中的對(duì)象創(chuàng)建效果的方法，基于依賴性分析描述和識(shí)別委托行為、備忘錄模式中備忘錄生成行為以及觀察者模式中的數(shù)據(jù)觀察行為的依賴性特征的方法。針對(duì)開(kāi)源代碼中的實(shí)例分析表明，上述方法能夠描述和識(shí)別現(xiàn)有研究無(wú)法識(shí)別的更多、更復(fù)雜的行為特征，提高識(shí)別的準(zhǔn)確和細(xì)致程度。
　　 設(shè)計(jì)模式識(shí)別研究領(lǐng)域至今沒(méi)有統(tǒng)一的識(shí)別標(biāo)準(zhǔn)。本文在綜合考慮現(xiàn)有識(shí)別標(biāo)準(zhǔn)的基礎(chǔ)上，提出了一個(gè)多層次多角度的識(shí)