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

定　價(jià)：￥78.00

作　者：	（美）萊特
出版社：	國防工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787118100068	出版時(shí)間：	2014-12-01	包裝：
開本：	16開	頁數(shù)：	329	字?jǐn)?shù)：

內(nèi)容簡介

　　《可靠性維修性保障性學(xué)術(shù)專著譯叢：軟件工程師可信計(jì)算基礎(chǔ)》為美國弗吉尼亞大學(xué)JohnKnight教授的最新著作，是計(jì)算機(jī)系統(tǒng)可信性領(lǐng)域的前沿著作。書中提出了一套完整的計(jì)算機(jī)系統(tǒng)可信性概念和術(shù)語體系，介紹了可信性需求、可信性分析、可信性評(píng)估的基本方法，并重點(diǎn)對(duì)錯(cuò)誤、故障、威脅等相關(guān)概念進(jìn)行了闡述和區(qū)分，詳細(xì)討論了故障避免、故障消除、容錯(cuò)和故障預(yù)測這四種故障處理措施，并配以大量的案例進(jìn)行說明和分析?！犊煽啃跃S修性保障性學(xué)術(shù)專著譯叢：軟件工程師可信計(jì)算基礎(chǔ)》不僅詳細(xì)介紹了計(jì)算機(jī)系統(tǒng)可信性領(lǐng)域的相關(guān)概念、技術(shù)和方法.完整得提出了一套計(jì)算機(jī)系統(tǒng)可信性術(shù)語體系，還凝聚了作者多年從事軟件可信性研究工作所獲得的寶貴經(jīng)驗(yàn)，對(duì)于國內(nèi)正在興起的可信性研究具有重要的指導(dǎo)意義和參考價(jià)值。

作者簡介

暫缺《軟件工程師可信計(jì)算基礎(chǔ)》作者簡介

圖書目錄

第一章概述
1.1 可信性的元素
1.1.1 一個(gè)警示性的故事
1.1.2 為什么要研究可信性
1.2 軟件工程師的角色
1.3 對(duì)于計(jì)算機(jī)的依賴
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 對(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 本書的組織結(jié)構(gòu)
習(xí)題
第二章可信性需求
2.1 為什么需要可信性需求
2.2 可信性概念的演變過程
2.3 術(shù)語的作用
2.4 什么是系統(tǒng)?
2.5 需求和規(guī)格說明
2.6 失效
2.6.1 服務(wù)失效的概念
2.6.2 服務(wù)失效的來源
2.6.3 需求和規(guī)格說明的實(shí)踐觀點(diǎn)
2.6.4 服務(wù)失效的視角
2.6.5 告知用戶失效
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è)例子：汽車巡航控制器
2.9.2 第二個(gè)例子：起搏器
2.1 0低至合理可行ALARP
2.1 0.1 對(duì)于ALARP的需求
2.1 0.2 ALARP概念
2.1 0.3 ALARP胡蘿卜圖
習(xí)題
第三章錯(cuò)誤、故障和危險(xiǎn)
3.1 錯(cuò)誤
3.2 錯(cuò)誤狀態(tài)的復(fù)雜性
……
第四章可信性分析
第五章故障處理
第六章退化故障和軟件
第七章軟件可信性
第八章軟件需求規(guī)格說明中的故障避免
第九章軟件實(shí)現(xiàn)中的故障避免
第十章軟件故障消除
第十一章軟件容錯(cuò)
第十二章可信性評(píng)價(jià)
參考文獻(xiàn)
索引