面向組件的軟件系統(tǒng)的可信性度量及評估方法研究與實現(xiàn).pdf

1、軟件可信性問題是可信計算領(lǐng)域的研究分支之一，也是近年來研究的重要焦點。軟件的“可信”是指軟件系統(tǒng)的動態(tài)行為及其結(jié)果總是符合人們的預期，在受到干擾時仍能提供連續(xù)的服務。通常認為，軟件可信性是系統(tǒng)需要滿足的關(guān)鍵屬性的集合，主要包括可靠性、可用性、防危性、正確性、安全性和可維護性。軟件可信性是一種整體的性質(zhì)，是多個質(zhì)量屬性的綜合反映?；诮M件的軟件開發(fā)是實現(xiàn)軟件復用進而實現(xiàn)軟件產(chǎn)業(yè)化的有效途徑，是當前軟件工程領(lǐng)域內(nèi)重要的軟件開發(fā)技術(shù)之一。本文

2、以基于組件的軟件系統(tǒng)為對象，研究其可信性的度量與評估問題。本文認為基于組件的軟件系統(tǒng)，其可信性體現(xiàn)在三個層次上：組件的可信性、組件間連接的可信性和軟件系統(tǒng)的可信性。 針對組件的可信性和軟件系統(tǒng)的可信性的度量與評估問題，本文參考管理工程領(lǐng)域評價指標體系的一般建立方法，分別建立了層次化的可信性綜合評價指標體系，并在此基礎上，研究了組件及軟件系統(tǒng)可信性的量化度量方法。運用層次分析法確定各因素權(quán)重，并運用模糊綜合評判法對度量元、評價指標

3、和可信屬性進行綜合權(quán)衡，通過對評判結(jié)果的處理，得到軟件可信性的度量值和對應的可信等級。本文實現(xiàn)了該方法，并通過實例分析了方法的可行性。 針對組件間連接的可信性問題，本文研究了一種基于B方法的形式化驗證方法。首先將UML模型與B抽象機結(jié)合，用UML類圖和狀態(tài)圖對組件接口的語法和語義信息進行直觀描述，并在此基礎上給出了基于B抽象機的組件接口形式化規(guī)約，進一步借助B方法中的精化機制對組件接口連接的可信性進行形式化驗證。 結(jié)合上