軟件可靠性工程

第1章 緒論
1.1 軟件可靠性工程研究和實踐的意義
1.2 軟件可靠性對系統(tǒng)可靠性的影響
1.3 軟件可靠性工程的基本問題
1.3.1 軟件為什么失效
1.3.2 如何開發(fā)可靠的軟件
1.3.3 如何檢驗軟件可靠性
1.4 軟件可靠性工程框架
1.4.1 軟件可靠性工程過程模型
1.4.2 軟件可靠性過程活動及其關(guān)系
1.5 軟件可靠性工程進展
1.5.1 軟件可靠性模型的發(fā)展歷程
1.5.2 軟件可靠性工程現(xiàn)狀及其進展
第2章 軟件可靠性工程基礎(chǔ)
2.1 基本概念
2.1.1 軟件可靠性
2.1.2 軟件可靠性工程
2.1.3 軟件錯誤、缺陷及故障
2.1.4 軟件失效
2.1.5 時間
2.1.6 運行剖面
2.2 軟件與硬件的區(qū)別
2.2.1 軟件生命周期及其過程與硬件的差別
2.2.2 軟件和硬件在可靠性方面的異同
2.2.3 導(dǎo)致軟件和硬件可靠性差別的主要原因
2.3 軟件可靠性因素
2.3.1 運行剖面
2.3.2 軟件規(guī)模
2.3.3 軟件結(jié)構(gòu)
2.3.4 軟件可靠性設(shè)計
2.3.5 軟件測試
2.3.6 軟件工程化管理與軟件可靠性工程管理
2.3.7 軟件開發(fā)技術(shù)、方法和工具
2.3.8 人員
2.4 軟件失效機理
2.5 X系統(tǒng)失效機理
2.5.1 X系統(tǒng)的失效行為
2.5.2 X系統(tǒng)失效示例
第3章 軟件可靠性建模
3.1 軟件可靠性建模的基本思想及基本問題
3.1.1 基本思想
3.1.2 基本問題
3.2 軟件可靠性模型特征及評價
3.2.1 特征
3.2.2 評價
3.3 模型分類與模型假設(shè)
3.3.1 模型分類
3.3.2 模型假設(shè)
3.4 隨機過程類模型
3.4.1 Markov過程模型
3.4.2 非齊次Poission過程模型
3.4.3 Musa模型
3.4.4 超幾何分布模型及參數(shù)估計
3.5 非隨機過程類模型
3.5.1 JM模型參數(shù)的Bayes推導(dǎo)
3.5.2 Bayes經(jīng)驗Bayes模型
3.5.3 LittlewoodVerrall模型
3.5.4 Bayes理論應(yīng)用于JM模型
3.5.5 Nelson模型
3.5.6 錯誤植入模型
3.6 基于構(gòu)件的軟件可靠性模型
3.6.1 基于構(gòu)件軟件的可靠性分析
3.6.2 基于構(gòu)件軟件中的函數(shù)
3.6.3 基于構(gòu)件軟件的可靠性通用模型——構(gòu)件概率遷移圖
3.6.4 通用模型實例化及可靠性估計方法
3.6.5 基于構(gòu)件的軟件可靠性分析流程
3.7 模型的比較、選擇及合并
3.7.1 比較、選擇準則
3.7.2 模型選擇
3.7.3 模型合并
第4章 軟件可靠性度量
4.1 軟件可靠性度量的目的
4.2 軟件質(zhì)量度量
4.2.1 軟件質(zhì)量
4.2.2 軟件質(zhì)量要求
4.2.3 軟件度量對象
4.2.4 軟件度量分類
4.2.5 不同度量類型之間的關(guān)系
4.2.6 軟件度量標度
4.3 軟件可靠性度量體系選取準則
4.4 軟件可靠性的度量過程
4.5 軟件可靠性度量模型及常用度量
4.5.1 軟件質(zhì)量模型
4.5.2 軟件可靠性度量模型
4.5.3 故障、失效分類統(tǒng)計
4.5.4 常用軟件可靠性度量
4.6 產(chǎn)品度量
4.6.1 需求分析階段
4.6.2 概要設(shè)計階段
4.6.3 詳細設(shè)計階段
4.6.4 編碼實現(xiàn)階段
4.6.5 軟件測試階段
4.6.6 驗收與交付階段
4.7 軟件復(fù)雜性度量
4.7.1 單元復(fù)雜性
4.7.2 結(jié)構(gòu)復(fù)雜性
4.7.3 總體復(fù)雜性
4.7.4 詳細設(shè)計簡明度的設(shè)計結(jié)構(gòu)度量
4.8 過程度量
4.8.1 需求分析階段
4.8.2 概要設(shè)計階段
4.8.3 詳細設(shè)計階段
4.8.4 實現(xiàn)階段
4.8.5 測試階段
4.8.6 驗收與交付階段
第5章 軟件可靠性要求的制定與分配
5.1 軟件可靠性要求
5.1.1 定性要求
5.1.2 定量要求
5.2 軟件可靠性分配
5.2.1 分配目的
5.2.2 分配條件
5.2.3 分配原則
5.2.4 分配方法
5.2.5 軟件可靠性分配流程
5.2.6 分配方法的比較和選擇
5.3 軟件可靠性預(yù)計
5.4 軟件可靠性分配與預(yù)計的關(guān)系
第6章 軟件可靠性設(shè)計
6.1 概述
6.1.1 軟件可靠性設(shè)計的目的和意義
6.1.2 Myers設(shè)計原則
6.1.3 軟件可靠性設(shè)計分類
6.2 軟件可靠性設(shè)計過程活動
6.2.1 軟件設(shè)計過程分析
6.2.2 軟件可靠性工程活動
6.2.3 需求獲取
6.2.4 需求分析
6.2.5 軟件設(shè)計
6.3 避錯設(shè)計
6.3.1 軟件需求工程
6.3.2 軟件設(shè)計
6.3.3 編碼實現(xiàn)
6.3.4 軟件可靠性設(shè)計準則
6.3.5 實時操作系統(tǒng)的可靠性、安全性設(shè)計
6.3.6 健壯性設(shè)計
6.3.7 簡化設(shè)計
6.3.8 重人和并發(fā)
6.3.9 結(jié)構(gòu)沖突與回溯
6.4 查錯設(shè)計
6.4.1 被動式錯誤檢測
6.4.2 主動式錯誤檢測
6.4.3 軟件在線自檢
6.5 糾錯設(shè)計
6.6 容錯設(shè)計
6.6.1 概念
6.6.2 軟件容錯中的故障表示
6.6.3 軟件容錯的基本活動
……
第7章 軟件可靠性分析
第8章 軟件可靠性測試
第9章 軟件可靠性工程管理
參考文獻