萊特、康銳、古廷陽編寫的《軟件工程師可信計
算基礎》為美國弗吉尼亞大學John Knight教授的最
新著作，是計算機繫統可信性領域的前沿著作。書中
提出了一套完整的計算機繫統可信性概念和術語體繫
，介紹了可信性需求、可信性分析、可信性評估的基
本方法，並重點對錯誤、故障、威脅等相關概念進行
了闡述和區分，詳細討論了故障避免、故障消除、容
錯和故障預測這四種故障處理措施，並配以大量的案
例進行說明和分析。
本書不僅詳細介紹了計算機繫統可信性領域的相
關概念、技術和方法．完整得提出了一套計算機繫統
可信性術語體繫，還凝聚了作者多年從事軟件可信性
研究工作所獲得的寶貴經驗，對於國內正在興起的可
信性研究具有重要的指導意義和參考價值。

第一章 概述
1.1 可信性的元素
1.1.1 一個警示性的故事
1.1.2 為什麼要研究可信性
1.2 軟件工程師的角色
1.3 對於計算機的依賴
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 失效帶來的意外成本
1.5.3 後果的種類
1.5.4 確定失效後果
1.6 對於可信性的需求
1.7 繫統和它們的可信性需求
1.7.1 關鍵繫統
1.7.2 幫助構建繫統的繫統
1.7.3 與其他繫統交互的繫統
1.8 我們要去往何方?
1.9 本書的組織結構
習題
第二章 可信性需求
2.1 為什麼需要可信性需求
2.2 可信性概念的演變過程
2.3 術語的作用
2.4 什麼是繫統?
2.5 需求和規格說明
2.6 失效
2.6.1 服務失效的概念
2.6.2 服務失效的來源
2.6.3 需求和規格說明的實踐觀點
2.6.4 服務失效的視角
2.6.5 告知用戶失效
2.7 可信性及其屬性
2.7.1 可靠性
2.7.2 可用性
2.7.3 每次請求失效
2.7.4 安全性
2.7.5 機密性
2.7.6 完整性
2.7.7 維修性
2.7.8 有關保密安全性的詞彙
2.7.9 信任的概念
2.8 繫統、軟件和可信性
2.8.1 計算機既非不安全也非不保密安全
2.8.2 為什麼要考慮應用繫統的可信性
2.8.3 應用繫統可信性和計算機
2.9 定義可信性需求
2.9.1 **個例子：汽車巡航控制器
2.9.2 第二個例子：起搏器
2.1 0低至合理可行ALARP
2.1 0.1 對於ALARP的需求
2.1 0.2 ALARP概念
2.1 0.3 ALARP胡蘿卜圖
習題
第三章 錯誤、故障和危險
3.1 錯誤
3.2 錯誤狀態的復雜性
……
第四章 可信性分析
第五章 故障處理
第六章 退化故障和軟件
第七章 軟件可信性
第八章 軟件需求規格說明中的故障避免
第九章 軟件實現中的故障避免
第十章 軟件故障消除
第十一章 軟件容錯
第十二章 可信性評價
參考文獻
索引