使用逃逸分析和依賴性分析識別設計模式的行為特征.pdf

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

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