基于AOP和復雜網(wǎng)絡理論的軟件行為分析.pdf

1、可信計算是一種信息安全新技術，它已經(jīng)成為國際信息安全領域的新熱潮，對軟件行業(yè)產(chǎn)生著深刻的影響，構造可信軟件已成為現(xiàn)代軟件技術發(fā)展和應用的重要趨勢和必然選擇。“可信軟件”這個概念的提出實質(zhì)上反映了傳統(tǒng)的“面向正確性的軟件理論+工程化”模式已經(jīng)難以適應現(xiàn)代軟件系統(tǒng)尤其是開放環(huán)境下軟件系統(tǒng)的特點。因此需要在軟件需求工程、軟件可信性度量、建模與預測、軟件的演化和控制、可信環(huán)境的評估和構造等方面深入對軟件開發(fā)、運行、運維、升級、系統(tǒng)間交互等方面進

2、行分析。
　　 本論文主要基于國家自然科學基金委2007年“可信軟件基礎研究”中關于對軟件可信性度量、建模與預測的分析和研究基礎上，所實現(xiàn)的一個軟件行為監(jiān)控、分析、建模的工作。在軟件系統(tǒng)監(jiān)控方面主要是采用AOP技術采集軟件運行數(shù)據(jù)，在分析建模上采用UML和復雜網(wǎng)絡理論完成對軟件運行時刻的行為建模和分析，并為進一步進行用戶行為預測打下基礎。主要的工作體現(xiàn)在下面幾點:
　　 1、對可信計算和可信軟件的基本概念、主要的研究內(nèi)容