軟件工程師可信計(jì)算基礎(chǔ)

第一章 概述
1.1 可信性的元素
1.1.1 一個(gè)警示性的故事
1.1.2 為什么要研究可信性
1.2 軟件工程師的角色
1.3 對(duì)于計(jì)算機(jī)的依賴(lài)
1.4 一些遺憾的失效
1.4.1 “阿麗亞娜”V火箭
1.4.2 大韓航空801航班
1.4.3 火星氣候軌道飛行器
1.4.4 火星極地登陸器
1.4.5 其他重要的事故
1.4.6 如何考慮失效
1.5 失效的后果
1.5.1 不明顯的失效后果
1.5.2 失效帶來(lái)的意外成本
1.5.3 后果的種類(lèi)
1.5.4 確定失效后果
1.6 對(duì)于可信性的需求
1.7 系統(tǒng)和它們的可信性需求
1.7.1 關(guān)鍵系統(tǒng)
1.7.2 幫助構(gòu)建系統(tǒng)的系統(tǒng)
1.7.3 與其他系統(tǒng)交互的系統(tǒng)
1.8 我們要去往何方?
1.9 本書(shū)的組織結(jié)構(gòu)
習(xí)題
第二章 可信性需求
2.1 為什么需要可信性需求
2.2 可信性概念的演變過(guò)程
2.3 術(shù)語(yǔ)的作用
2.4 什么是系統(tǒng)?
2.5 需求和規(guī)格說(shuō)明
2.6 失效
2.6.1 服務(wù)失效的概念
2.6.2 服務(wù)失效的來(lái)源
2.6.3 需求和規(guī)格說(shuō)明的實(shí)踐觀(guān)點(diǎn)
2.6.4 服務(wù)失效的視角
2.6.5 告知用戶(hù)失效
2.7 可信性及其屬性
2.7.1 可靠性
2.7.2 可用性
2.7.3 每次請(qǐng)求失效
2.7.4 安全性
2.7.5 機(jī)密性
2.7.6 完整性
2.7.7 維修性
2.7.8 有關(guān)保密安全性的詞匯
2.7.9 信任的概念
2.8 系統(tǒng)、軟件和可信性
2.8.1 計(jì)算機(jī)既非不安全也非不保密安全
2.8.2 為什么要考慮應(yīng)用系統(tǒng)的可信性
2.8.3 應(yīng)用系統(tǒng)可信性和計(jì)算機(jī)
2.9 定義可信性需求
2.9.1 第一個(gè)例子：汽車(chē)巡航控制器
2.9.2 第二個(gè)例子：起搏器
2.1 0低至合理可行ALARP
2.1 0.1 對(duì)于A(yíng)LARP的需求
2.1 0.2 ALARP概念
2.1 0.3 ALARP胡蘿卜圖
習(xí)題
第三章 錯(cuò)誤、故障和危險(xiǎn)
3.1 錯(cuò)誤
3.2 錯(cuò)誤狀態(tài)的復(fù)雜性
……
第四章 可信性分析
第五章 故障處理
第六章 退化故障和軟件
第七章 軟件可信性
第八章 軟件需求規(guī)格說(shuō)明中的故障避免
第九章 軟件實(shí)現(xiàn)中的故障避免
第十章 軟件故障消除
第十一章 軟件容錯(cuò)
第十二章 可信性評(píng)價(jià)
參考文獻(xiàn)
索引