基于形式概念分析的依賴簇檢測方法研究.pdf

1、依賴簇是相互依賴的程序組件的最大集合?，F(xiàn)有研究表明，大型依賴簇具有極其普遍性，廣泛存在于各類程序源代碼中。大型依賴簇的存在會產(chǎn)生“漣漪效應(yīng)”，即對依賴簇中某一點的變動都會對簇中其他部分造成潛在的影響，將會阻礙軟件理解、測試、維護等軟件工程方面的工作。依賴簇的檢測是解決依賴簇不良影響的前提，目前的方法是通過單調(diào)切片尺寸圖（Monotonic Slice-size Graph，MSG）檢測依賴簇，即具有相同切片尺寸的語句屬于同一依賴簇。這是

2、一種近似的方法，雖然具有良好的效率，但檢測準確度較低，會出現(xiàn)誤報和漏報。
　　針對相同切片尺寸法在檢測準確度方面的不足，本文借助形式概念分析這種有效的數(shù)學工具提出了基于形式概念分析的依賴簇檢測方法，并設(shè)計了檢測方法的詳細流程。文中探討了研究對象的選取和如何從源代碼中獲取研究對象的依賴關(guān)系，將依賴關(guān)系抽象和整理成形式背景，提出了概念包含度，并在概念格中定義了大型概念，同時給出了大型概念的選取策略和通過大型概念檢測依賴簇的方法。為提高

3、基于形式概念分析的依賴簇檢測方法效率，更有針對性的選取大型概念，提出了輕量化形式概念分析的依賴簇檢測方法。本文對概念格構(gòu)造算法進行篩選并改進，提出了基于對象包含度的FCBO算法剪枝改進策略，并通過理論推導(dǎo)證明其正確性。
　　為驗證了本文提出的基于形式概念分析的依賴簇檢測方法的有效性，本文選取12個不同規(guī)模、不同領(lǐng)域的被測程序進行實驗研究。實驗分析了本文提出方法的檢測結(jié)果，并與相同切片尺寸法得到的依賴簇進行對比分析，驗證了本文提出的