可重構(gòu)克隆代碼的過程提取方法研究.pdf

1、程序重構(gòu)是一種在保持軟件可見行為的前提下，對軟件既有代碼的改善。目的是使其更易理解與維護，修改成本更低。程序重構(gòu)可延緩軟件老化帶來的退化影響，改善程序質(zhì)量。過程提取是將已有方法中的一部分提取出來作為一個新的方法，被提取的部分用新方法調(diào)用替代。過程提取經(jīng)常用于減少軟件系統(tǒng)中的克隆代碼（Clone Code）。本文主要研究克隆代碼的過程提取方法以及重構(gòu)對進化軟件中模塊間依賴關系的影響。
　　針對由克隆代碼檢測工具檢測出來的克隆代碼不能

2、直接用于重構(gòu)的問題，提出了一種可重構(gòu)克隆代碼的預處理方法，該方法由兩部分組成：首先，將自適應K-最近鄰聚類（Adaptive K-Nearest Neighbors，A-KNN）與圖相結(jié)合，用于消除拷貝-粘貼相關缺陷檢測的誤檢。然后，對不含缺陷的克隆代碼，使用基于代價-收益的評估方法識別可重構(gòu)的克隆代碼，為后續(xù)克隆代碼重構(gòu)做好準備。實驗結(jié)果表明，本文提出的預處理方法可以有效消除因檢測錯誤修改某標識符缺陷時產(chǎn)生的誤檢。不僅提高了克隆代碼相

3、關缺陷檢測的準確性，而且可以消除更多的克隆代碼。
　　針對傳統(tǒng)的保持語法結(jié)構(gòu)不變的過程提取方法提取不連續(xù)克隆代碼時存在的問題，提出一種新的語義保持的不連續(xù)克隆代碼無定型過程提取方法。該方法結(jié)合程序依賴圖（Procedure Dependence Graph，PDG）和抽象語法樹（Abstract Syntax Tree，AST）對程序進行結(jié)構(gòu)語義分析，取消了傳統(tǒng)的保持語法結(jié)構(gòu)不變的過程提取算法對語句結(jié)構(gòu)一致性的約束，保留了語義一致

4、性約束，從而解決了傳統(tǒng)方法不易處理的連續(xù)但不能直接提取的克隆代碼提取問題，降低了對未標記語句提升的需求，并且不需要對跳轉(zhuǎn)語句進行特殊處理。
　　實驗結(jié)果表明，本文提出的克隆代碼無定型過程提取算法的準確性和適用性均高于已有的保持語法結(jié)構(gòu)不變的過程提取算法，可以有效地減少克隆代碼數(shù)量，提高代碼質(zhì)量。針對傳統(tǒng)的保持語法結(jié)構(gòu)不變的過程提取方法通過語句提升不能提取某些近似克隆代碼的問題，提出一種新的語義保持的近似克隆代碼無定型過程提取方法(

5、Semantic-Preserving Amorphous Procedure Extraction，SPAPE)。該方法結(jié)合程序依賴圖和抽象語法樹對程序進行結(jié)構(gòu)語義分析，取消了傳統(tǒng)的保持語法結(jié)構(gòu)不變的過程提取算法對語句結(jié)構(gòu)一致性的約束，保留了語義一致性約束。該方法由四部分組成：首先，SPAPE使用程序依賴圖對源程序進行結(jié)構(gòu)語義分析。然后，結(jié)合程序依賴圖和抽象語法樹執(zhí)行語義保持的無定型過程變換，識別出差異點。接著，通過插入控制變量和條件

6、語句進行差異點融合。最后，進行過程提取。實驗結(jié)果表明，本文提出的近似克隆代碼的無定型過程提取方法(SPAPE)解決了傳統(tǒng)方法不能處理某些近似克隆代碼的問題，同時在算法的有效性、代價-收益分析等方面優(yōu)于傳統(tǒng)方法。針對過程提取改變了軟件內(nèi)部模塊間的依賴關系這一現(xiàn)象，本文從軟件的進化角度對軟件內(nèi)部模塊間依賴的分布以及重構(gòu)對這種分布的影響進行實驗研究。結(jié)果表明，軟件內(nèi)部模塊間的依賴分布是不平衡的：相對于較大的模塊，依賴集中于較小的模塊間，這種依

7、賴聚集的不平衡性不僅存在于單版本的軟件內(nèi)部，也存在于軟件產(chǎn)品的整個生命周期中。同時，持續(xù)性重構(gòu)加劇了這種依賴聚集的不平衡性。因此，根據(jù)上述分析結(jié)果，在軟件維護或質(zhì)量評估方面軟件管理者和開發(fā)者，更多關注規(guī)模較小的模塊，并且在軟件的進化過程中，進一步增加關注度。
　　綜上所述，本文提出的克隆代碼預處理方法、無定型過程提取方法，解決了可重構(gòu)的克隆代碼的預處理問題、不連續(xù)克隆代碼的過程提取和近似克隆代碼的過程提取等關鍵技術問題，并且通過模