中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
軟件工程師可信計算基礎 版權信息
- ISBN：9787118100068
- 條形碼：9787118100068 ; 978-7-118-10006-8
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
軟件工程師可信計算基礎 本書特色
本書分為12章。第1章介紹了可信性，并且激勵讀者能夠繼續研究；第2章介紹了可信性工程的基本術語；第3章介紹幾種不同的故障模式以及應對這些故障的處理措施。第4章討論了怎樣識別那些系統常常會發生的故障。第5章介紹了4種基本的故障應對機制：故障避免、故障消除、容錯和故障預測(forecasting)，同時也對拜占庭錯誤(byzantine fault)進行了一些探討。第6章總結了退化故障(degradation fault)的相關問題，該種故障只會在硬件中發生。第7章介紹了圍繞軟件可信性的一般問題。第8章和第9章就軟件容錯方面的一些重要內容進行了探討。第10章有關軟件故障消除，11章有關軟件容錯，*后的12章介紹了可信性評估。
軟件工程師可信計算基礎 內容簡介
可靠性學術專著譯叢系列圖書: 《貝葉斯概率風險評估》 《貝葉斯可靠性》 《脆弱系統》 《復雜網絡健壯性》 《復雜系統與過程可靠性及安全性》 《關鍵基礎設施風險相互依賴性》 《系統重要性測度原理與應用》 《可靠性與風險分析蒙特卡羅方法》 《可靠性與風險分析算法》 《系統工程與分析（第5版）》 《系統可靠性研究新進展》 《系統軟件可靠性》 《保修數據收集與分析》 《產品可靠性規范與性能》 《軟件工程師可信計算基礎》
軟件工程師可信計算基礎 目錄
**章 概述
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 錯誤狀態的復雜性
……
第四章 可信性分析
第五章 故障處理
第六章 退化故障和軟件
第七章 軟件可信性
第八章 軟件需求規格說明中的故障避免
第九章 軟件實現中的故障避免
第十章 軟件故障消除
第十一章 軟件容錯
第十二章 可信性評價
參考文獻
索引
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 錯誤狀態的復雜性
……
第四章 可信性分析
第五章 故障處理
第六章 退化故障和軟件
第七章 軟件可信性
第八章 軟件需求規格說明中的故障避免
第九章 軟件實現中的故障避免
第十章 軟件故障消除
第十一章 軟件容錯
第十二章 可信性評價
參考文獻
索引
展開全部
書友推薦
- >
小考拉的故事-套裝共3冊
- >
有舍有得是人生
- >
二體千字文
- >
上帝之肋:男人的真實旅程
- >
羅曼·羅蘭讀書隨筆-精裝
- >
朝聞道
- >
唐代進士錄
- >
自卑與超越
本類暢銷
