本文關(guān)鍵詞：基于復(fù)雜網(wǎng)絡(luò)理論的Java應(yīng)用系統(tǒng)程序分析

  更多相關(guān)文章： 復(fù)雜網(wǎng)絡(luò) Java應(yīng)用系統(tǒng) 小世界網(wǎng)絡(luò) 冪律分布 類依賴關(guān)系 函數(shù)依賴關(guān)系

【摘要】：近年來,計算機科學(xué)領(lǐng)域發(fā)現(xiàn)利用復(fù)雜網(wǎng)絡(luò)理論可以支持復(fù)雜的大型開源系統(tǒng)的程序分析,彌補了傳統(tǒng)程序靜態(tài)分析和動態(tài)分析方法的缺陷,并且能夠以圖論的方式實現(xiàn)可視化的程序結(jié)構(gòu)性質(zhì)分析。本文以復(fù)雜網(wǎng)絡(luò)理論為基礎(chǔ),從小世界網(wǎng)絡(luò)性質(zhì)和無標(biāo)度網(wǎng)絡(luò)性質(zhì)兩點對Java應(yīng)用系統(tǒng)進行程序分析,研究內(nèi)容共有五點：一、對Java應(yīng)用系統(tǒng)進行了類型調(diào)研,選用了符合常規(guī)類型的10種開源系統(tǒng),并各選取3個系統(tǒng)作為樣本,以保證實驗數(shù)據(jù)的多樣性和全面性；二、基于復(fù)雜網(wǎng)絡(luò)理論,針對Java應(yīng)用系統(tǒng)構(gòu)建程序網(wǎng)絡(luò),并定義了明確的類依賴關(guān)系和函數(shù)依賴關(guān)系；三、基于以上所構(gòu)建的程序網(wǎng)絡(luò),設(shè)計并實現(xiàn)了具體的依賴關(guān)系提取和加權(quán)算法,獲取依賴關(guān)系所對應(yīng)的有向加權(quán)網(wǎng)絡(luò)；四、提取類依賴關(guān)系網(wǎng)絡(luò)及函數(shù)依賴關(guān)系網(wǎng)絡(luò)的拓撲特征值,并刻畫其小世界網(wǎng)絡(luò)性質(zhì)用以分析和判斷程序設(shè)計的優(yōu)劣；五、計算有向加權(quán)網(wǎng)絡(luò)中的出度及入度分布,并進一步通過冪律分布模型驗證程序網(wǎng)絡(luò)是否具有無標(biāo)度特性,用以歸納Java應(yīng)用系統(tǒng)的整體結(jié)構(gòu)性質(zhì)。通過一系列的實驗分析,我們發(fā)現(xiàn)在Java應(yīng)用系統(tǒng)中,類依賴關(guān)系網(wǎng)絡(luò)具有小世界性質(zhì),而函數(shù)依賴關(guān)系并不具備該性質(zhì)。此外,對于絕大多數(shù)系統(tǒng)而言,無論是出度還是入度分布都可能滿足冪律分布。從這兩個實驗結(jié)論可以看出,在Java應(yīng)用系統(tǒng)中,類結(jié)構(gòu)符合高內(nèi)聚低耦合的軟件工程設(shè)計標(biāo)準(zhǔn),且每一類系統(tǒng)都可能具有魯棒性和脆弱性。實驗表明,通過分析這兩種網(wǎng)絡(luò)拓撲性質(zhì)既可以簡單評判和呈現(xiàn)系統(tǒng)的結(jié)構(gòu)特征,也可以幫助開發(fā)和維護人員利用復(fù)雜網(wǎng)絡(luò)分析結(jié)論設(shè)計并優(yōu)化開源軟件系統(tǒng),以實現(xiàn)優(yōu)秀的軟件架構(gòu)和最佳的系統(tǒng)迭代。
【關(guān)鍵詞】：復(fù)雜網(wǎng)絡(luò) Java應(yīng)用系統(tǒng) 小世界網(wǎng)絡(luò) 冪律分布 類依賴關(guān)系 函數(shù)依賴關(guān)系
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：O157.5;TP312.2
【目錄】：

• 摘要6-7
• ABSTRACT7-13
• 第一章 緒論13-19
• 1.1 研究背景及意義14-15
• 1.2 國內(nèi)外研究現(xiàn)狀15-16
• 1.3 研究內(nèi)容及組織結(jié)構(gòu)16-19
• 第二章 程序分析相關(guān)技術(shù)19-37
• 2.1 復(fù)雜網(wǎng)絡(luò)理論19-21
• 2.2 網(wǎng)絡(luò)圖的表示21-24
• 2.2.1 圖的定義與分類21-23
• 2.2.2 圖的計算機表示23-24
• 2.3 網(wǎng)絡(luò)拓撲性質(zhì)24-33
• 2.3.1 小世界性質(zhì)24-29
• 2.3.2 無標(biāo)度性質(zhì)29-33
• 2.4 Java字節(jié)碼33-35
• 2.5 本章小結(jié)35-37
• 第三章 程序分析實驗設(shè)計37-49
• 3.1 程序分析流程設(shè)計37-39
• 3.2 應(yīng)用系統(tǒng)類型選擇39-41
• 3.3 實體依賴關(guān)系分析41-43
• 3.4 網(wǎng)絡(luò)加權(quán)模型設(shè)計43-45
• 3.5 依賴關(guān)系提取及處理45-48
• 3.6 本章小結(jié)48-49
• 第四章 程序分析算法實現(xiàn)49-65
• 4.1 程序字節(jié)碼解析算法49-52
• 4.2 實體依賴關(guān)系加權(quán)算法52-54
• 4.3 程序網(wǎng)絡(luò)特征值計算54-59
• 4.3.1 小世界性質(zhì)計算54-56
• 4.3.2 冪律分布計算56-59
• 4.4 冪律分布驗證算法59-61
• 4.5 本章小結(jié)61-65
• 第五章 程序分析實驗結(jié)果65-69
• 5.1 程序網(wǎng)絡(luò)小世界性質(zhì)分析65-66
• 5.2 程序網(wǎng)絡(luò)出入度分布情況66-67
• 5.3 本章小結(jié)67-69
• 第六章 總結(jié)與展望69-71
• 6.1 本文總結(jié)69-70
• 6.2 未來工作展望70-71
• 參考文獻71-77
• 致謝77-79
• 發(fā)表論文和科研情況79

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前2條

1 張健;;精確的程序靜態(tài)分析[J];計算機學(xué)報;2008年09期

2 楊宇;張健;;程序靜態(tài)分析技術(shù)與工具[J];計算機科學(xué);2004年02期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 冀佩剛;程序靜態(tài)分析研究[D];蘭州大學(xué);2006年

，

本文編號：833311