設(shè)計(jì)模式檢測(cè)工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、軟件程序當(dāng)中,遺產(chǎn)軟件(legacy software)的問題是比較突出的一個(gè).由于遺產(chǎn)軟件經(jīng)常存在文檔不齊以及結(jié)構(gòu)不清晰的問題,軟件結(jié)構(gòu)很難理解.Pattern Explorer就是為了解決這一問題才提出的.在后來的研究過程中,發(fā)現(xiàn)Pattern Explorer不僅對(duì)分析理解遺產(chǎn)程序有所幫助,對(duì)于逆向工程以及軟件驗(yàn)證一樣會(huì)起很大的作用.該課題的目標(biāo)是研究如何從已經(jīng)存在的UML圖中,發(fā)現(xiàn)軟件的設(shè)計(jì)模式.我們?cè)谖闹惺紫瘸霈F(xiàn)在同類研究存在

2、的一系列問題,并針對(duì)這些問題,提出了一種新的解決方案.然后,根據(jù)這種新的解決方案,提出了一系列的算法和數(shù)據(jù)結(jié)構(gòu),并在理論和算法上證明了該方法是可行的.最后,設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)具體的工具"Pattern Explorer"來驗(yàn)證我們的理論.經(jīng)過驗(yàn)證,表明了該方法在理論上和實(shí)踐中都是切實(shí)可行且卓有成效的.該論文分為五部分.第一部分先簡(jiǎn)單得介紹相關(guān)的背景知識(shí)、研究意義、研究目標(biāo)、研究?jī)?nèi)容和研究方法.第二部分將會(huì)介紹UML和設(shè)計(jì)模式的理論基礎(chǔ).第