目 錄 第1章 軟件保證舉證概述 1 1.1 軟件保證舉證的由來(lái)及意義 1 1.2 軟件保證舉證的研究現(xiàn)狀 3 1.3 軟件保證舉證的基本知識(shí) 5 1.3.1 軟件保證舉證的概念 5 1.3.2 軟件保證舉證的結(jié)構(gòu) 5 1.3.3 軟件保證舉證的表述方法 9 1.4 GSN 12 1.4.1 GSN的基本符號(hào) 13 1.4.2 GSN的模式符號(hào) 22 1.4.3 GSN的模塊符號(hào) 26 1.4.4 GSN軟件保證舉證的構(gòu)建流程 35 1.4.5 GSN軟件保證舉證的構(gòu)建工具 49 本章小結(jié) 51 參考文獻(xiàn) 52 第2章 軟件安全性舉證方法 53 2.1 軟件安全性舉證的基礎(chǔ)知識(shí) 53 2.1.1 軟件安全性的概念 53 2.1.2 軟件安全性舉證的概念 59 2.2 軟件安全性舉證框架的構(gòu)建原理 60 2.3 軟件安全性舉證框架 63 2.3.1 軟件安全性過(guò)程因素包 65 2.3.2 軟件安全性需求分析包 68 2.3.3 危險(xiǎn)軟件失效分析包 73 2.3.4 危險(xiǎn)軟件失效的消除或緩解實(shí)現(xiàn)包 75 2.3.5 危險(xiǎn)軟件失效的消除或緩解驗(yàn)證包 76 2.3.6 軟件安全性證據(jù)包 76 2.4 基于GSN的軟件安全性舉證的論證模式 77 2.4.1 系統(tǒng)級(jí)別的安全性的論證模式 77 2.4.2 軟件對(duì)系統(tǒng)危險(xiǎn)貢獻(xiàn)的緩解的論證模式 80 2.4.3 軟件安全性頂層的論證模式 81 2.4.4 軟件安全性需求實(shí)現(xiàn)的論證模式 84 2.4.5 危險(xiǎn)軟件失效已被消除或緩解的論證模式 85 2.4.6 軟件失效改進(jìn)措施實(shí)現(xiàn)的論證模式 87 2.5 應(yīng)用實(shí)例 89 2.5.1 剎車系統(tǒng)介紹 89 2.5.2 應(yīng)用過(guò)程 90 2.5.3 應(yīng)用結(jié)果 90 本章小結(jié) 101 參考文獻(xiàn) 101 第3章 軟件可靠性舉證方法 102 3.1 軟件可靠性舉證的基礎(chǔ)知識(shí) 102 3.1.1 幾個(gè)基本概念 102 3.1.2 軟件可靠性工程 104 3.1.3 軟件可靠性相關(guān)標(biāo)準(zhǔn) 105 3.2 軟件可靠性舉證框架 106 3.2.1 基于軟件可靠性特性度量模型的軟件可靠性舉證框架 107 3.2.2 基于缺陷防控模型的軟件可靠性舉證框架 111 3.2.3 基于“4+1”準(zhǔn)則的軟件可靠性舉證框架 113 3.2.4 幾種框架的分析比較 117 3.3 基于GSN的軟件可靠性舉證的論證模式 118 3.3.1 基于軟件可靠性特性度量模型的軟件可靠性舉證的論證 模式 118 3.3.2 基于缺陷防控模型的軟件可靠性舉證的論證模式 121 3.3.3 基于"4+1"準(zhǔn)則的軟件可靠性舉證的論證模式 123 3.4 應(yīng)用實(shí)例 127 3.4.1 實(shí)例軟件簡(jiǎn)介 128 3.4.2 基于軟件可靠性特性度量模型的軟件可靠性舉證的應(yīng)用過(guò)程 129 3.4.3 基于缺陷防控模型的軟件可靠性舉證的應(yīng)用過(guò)程 130 3.4.4 基于“4+1”準(zhǔn)則的軟件可靠性舉證的應(yīng)用過(guò)程 134 本章小結(jié) 140 參考文獻(xiàn) 141 第4章 軟件保密性舉證方法 142 4.1 軟件保密性舉證的基礎(chǔ)知識(shí) 143 4.1.1 軟件保密性的相關(guān)概念 143 4.1.2 軟件保密性舉證的概念 146 4.2 軟件保密性舉證框架及基于GSN的軟件保密性舉證的論證模式 148 4.2.1 軟件保密性舉證框架的結(jié)構(gòu) 148 4.2.2 軟件保密性舉證框架的基本論證原理 149 4.2.3 軟件保密性舉證框架的論證結(jié)構(gòu) 159 4.2.4 軟件保密性舉證框架的實(shí)例化方法 187 4.3 應(yīng)用實(shí)例 189 本章小結(jié) 199 參考文獻(xiàn) 199 第5章 軟件可信性舉證方法 201 5.1 軟件可信性舉證的基礎(chǔ)知識(shí) 201 5.1.1 軟件可信性的相關(guān)概念 201 5.1.2 軟件可信性舉證的相關(guān)研究 205 5.2 基于GSN的軟件可信性舉證框架及論證模式 206 5.2.1 基于GSN的軟件可信性舉證框架 206 5.2.2 基于GSN的軟件可信性舉證的論證模式 208 5.2.3 軟件可信性舉證框架的實(shí)例化規(guī)則 235 5.3 應(yīng)用實(shí)例 237 5.3.1 實(shí)例軟件簡(jiǎn)介 237 5.3.2 舉證實(shí)例構(gòu)建方案 237 5.3.3 舉證實(shí)例構(gòu)建過(guò)程 239 本章小結(jié) 242 參考文獻(xiàn) 242 第6章 基于非形式邏輯理論的軟件保證舉證信心評(píng)定方法 244 6.1 軟件保證舉證信心評(píng)定方法的理論基礎(chǔ) 244 6.1.1 非形式邏輯 245 6.1.2 圖爾敏論證模型的論證評(píng)價(jià) 247 6.1.3 貝葉斯網(wǎng)絡(luò) 250 6.2 軟件保證舉證信心評(píng)定方法 251 6.2.1 保證舉證樹(shù)形結(jié)構(gòu)到圖爾敏論證模型的轉(zhuǎn)化 252 6.2.2 圖爾敏論證模型的軟件保證舉證定性評(píng)價(jià) 256 6.2.3 圖爾敏論證模型的軟件保證舉證定量評(píng)價(jià) 258 6.3 應(yīng)用實(shí)例 269 6.3.1 應(yīng)用過(guò)程 271 6.3.2 應(yīng)用分析 278 本章小結(jié) 279 參考文獻(xiàn) 279