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

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

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

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