版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、隨著軟件在安全關鍵領域的廣泛應用,可信軟件的研究成為可信計算研究中的一個重要內容。由于軟件系統(tǒng)本身的復雜特性,如何使軟件具有可信性的研究面臨著巨大挑戰(zhàn)。它要求人們對軟件系統(tǒng)開發(fā)和運行等規(guī)律有更深入的認識,也關系到人們在信息社會對信息基礎設施的依賴和可信程度。 軟件工程以提高軟件生產率和軟件質量為目標,而軟件測試技術通過執(zhí)行軟件來判斷軟件是否具備所期望的性質,是可信軟件評估的重要環(huán)節(jié)之一。尤其是對安全關鍵性軟件,軟件測試技術面臨重
2、大挑戰(zhàn)。本文圍繞可信軟件工程中的可信性測試模型、測試方法展開了研究。由于可信性包含眾多屬性,本文主要對其中的可靠性及防危性的測試模型和相關測試技術進行研究。 針對可信軟件的可靠性測試問題,本文首先對相關的可靠性測試模型進行了分析,鑒于馬爾可夫鏈能夠描述軟件系統(tǒng)控制轉移的動態(tài)特性,以馬爾可夫分析方法作為理論基礎,研究了基于馬爾可夫分析方法的可信軟件的可靠性建模問題。針對模塊化的可信軟件系統(tǒng),綜合模塊自身的可靠性和模塊聞的轉移調用對
3、其在系統(tǒng)中的重要程度這兩個方面,分別定義了模塊的可靠性函數和模塊在系統(tǒng)中重要程度的函數,并給出了系統(tǒng)可靠性的建模方法和相關函數。最后根據這種建模方法,設計了相關的測試用例。 針對可信軟件的防危性測試問題,本文研究了一種基于重要性采樣原理的防危性測試方法。根據可信軟件失效危險嚴重性等級的不同,選擇了適當的防危性評估指標,提出了一種改進的基于關聯風險剖面的防危性測試模型,設計出了測試所需測試用例。 最后,以一個具體應用為實例
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 高可信軟件可靠性和防危性測試與評價理論研究.pdf
- 軟件可靠性測試充分性的研究.pdf
- 軟件可靠性模型在可靠性測試中的研究.pdf
- 軟件測試中的軟件可靠性改進.pdf
- ECDIS顯示軟件的可靠性測試研究.pdf
- 基于測試的軟件可靠性評估研究.pdf
- 軟件測試與可靠性研究.pdf
- 軟件測試與軟件可靠性.pdf
- 軟件測試及可靠性研究.pdf
- 車輛可靠性評估軟件關鍵技術的研究.pdf
- 軟件測試與可靠性評估.pdf
- 考慮測試效率的軟件可靠性模型.pdf
- 基于測試覆蓋的軟件可靠性模型.pdf
- 軟件測試與可靠性評估的研究與應用.pdf
- 軟件可靠性和軟件最優(yōu)發(fā)布問題的研究.pdf
- 基于軟件老化和軟件Rejuvenation的軟件可靠性研究.pdf
- 軟件可靠性測試與評估方法的改進.pdf
- 軟件可靠性和相關費用模型的研究.pdf
- Android手機軟件可靠性測試研究.pdf
- 考慮軟件補丁的軟件可靠性模型的研究.pdf
評論
0/150
提交評論