軟件可信性定量評估：模型、方法與實施

第1章  概論
  1.1 軟件可信性
  1.2 全開發(fā)生存周期的軟件可信性評估
  1.3 本書的組織與結構
第2章  軟件與軟件質(zhì)量
  2.1 概述
  2.2 軟件失效造成的災難
  2.3 軟件與軟件工程
  2.4 軟件質(zhì)量評價
  2.5 軟件質(zhì)量模型
    2.5.1 Beohm質(zhì)量模型
    2.5.2 McCall質(zhì)量模型
    2.5.3 ISO 9126質(zhì)量模型
    2.5.4 GB/T 16260質(zhì)量模型
    2.5.5 ISO 25010 質(zhì)量模型
  2.6 本章小結
第3章  軟件開發(fā)生存周期
  3.1 概述
  3.2 軟件生存周期過程
  3.3 軟件生存周期模型
    3.3.1 瀑布模型
    3.3.2 快速原型開發(fā)模型
    3.3.3 增量開發(fā)模型
    3.3.4 極限編程模型
    3.3.5 螺旋模型
  3.4 軟件開發(fā)過程
    3.4.1 軟件需求分析
    3.4.2 軟件設計
    3.4.3 軟件編碼實現(xiàn)
    3.4.4 軟件測試
  3.5 本章小結
第4章  軟件可信性評估模型
  4.1 概述
  4.2 模型結構
  4.3 可信屬性與可信子屬性
  4.4 可信度量與度量指標
  4.5 本章小結
第5章  需求分析階段的可信度量
  5.1 需求分析階段度量策略
  5.2 在需求分析階段度量軟件可用性
    5.2.1 適合性的度量
    5.2.2 準確性的度量
    5.2.3 互操作性的度量
    5.2.4 易操作性的度量
    5.2.5 依從性的度量
  5.3 在需求分析階段度量實時性
    5.3.1 處理及時性的度量
    5.3.2 實時穩(wěn)定性的度量
  5.4 在需求分析階段度量可靠性
    5.4.1 成熟性的度量
    5.4.2 容錯性的度量
    5.4.3 持續(xù)性的度量
  5.5 在需求分析階段度量安全性
    5.5.1 安全保密性的度量
    5.5.2 完整性的度量
    5.5.3 防危性的度量
  5.6 在需求分析階段度量可生存性
    5.6.1 易恢復性的度量
    5.6.2 健壯性的度量
  5.7 在需求分析階段度量效能性
    5.7.1 時間有效性的度量
    5.7.2 資源有效性的度量
  5.8 在需求分析階段度量可維護性
    5.8.1 易分析性的度量
    5.8.2 易改變性的度量
    5.8.3 易測試性的度量
    5.8.4 易學性的度量
    5.8.5 易替換性的度量
  5.9 需求分析階段的過程度量
  5.10 本章小結
第6章  軟件設計階段的可信度量
  6.1 軟件設計階段度量策略
  6.2 在設計階段度量軟件可用性
    6.2.1 適合性的度量
    6.2.2 準確性的度量
    6.2.3 互操作性的度量
    6.2.4 易操作性的度量
    6.2.5 依從性的度量
  6.3 在設計階段度量實時性
    6.3.1 處理及時性的度量
    6.3.2 實時穩(wěn)定性的度量
  6.4 在設計階段度量可靠性
    6.4.1 成熟性的度量
    6.4.2 容錯性的度量
    6.4.3 持續(xù)性的度量
  6.5 在設計階段度量安全性
    6.5.1 安全保密性的度量
    6.5.2 完整性的度量
    6.5.3 防危性的度量
  6.6 在設計階段度量可生存性
    6.6.1 易恢復性的度量
    6.6.2 健壯性的度量
  6.7 在設計階段度量效能性
    6.7.1 時間有效性的度量
    6.7.2 資源有效性的度量
  6.8 在設計階段度量可維護性
    6.8.1 易分析性的度量
    6.8.2 易改變性的度量
    6.8.3 易測試性的度量
    6.8.4 易學性的度量
    6.8.5 易替換性的度量
  6.9 設計階段的過程度量
  6.10 本章小結
第7章  編碼實現(xiàn)階段的可信度量
  7.1 編碼實現(xiàn)階段度量策略
  7.2 在編碼實現(xiàn)階段度量軟件可用性
    7.2.1 適合性的度量
    7.2.2 準確性的度量
    7.2.3 互操作性的度量
    7.2.4 易操作性的度量
    7.2.5 依從性的度量
  7.3 在編碼實現(xiàn)階段度量實時性
    7.3.1 處理及時性的度量
    7.3.2 實時穩(wěn)定性的度量
  7.4 在編碼實現(xiàn)階段度量可靠性
    7.4.1 成熟性的度量
    7.4.2 容錯性的度量
    7.4.3 持續(xù)性的度量
  7.5 在編碼實現(xiàn)階段度量安全性
    7.5.1 安全保密性的度量
    7.5.2 完整性的度量
    7.5.3 防危性的度量
  7.6 在編碼實現(xiàn)階段度量可生存性
    7.6.1 易恢復性的度量
    7.6.2 健壯性的度量
  7.7 在編碼實現(xiàn)階段度量效能性
    7.7.1 時間有效性的度量
    7.7.2 資源有效性的度量
  7.8 在編碼實現(xiàn)階段度量可維護性
    7.8.1 易分析性的度量
    7.8.2 易改變性的度量
    7.8.3 易測試性的度量
    7.8.4 易學性的度量
    7.8.5 易替換性的度量
  7.9 編碼實現(xiàn)階段的過程度量
  7.10 本章小結
第8章  軟件測試階段的可信度量
  8.1 軟件測試階段度量策略
  8.2 在軟件測試階段度量軟件可用性
    8.2.1 適合性的度量
    8.2.2 準確性的度量
    8.2.3 互操作性的度量
    8.2.4 易操作性的度量
    8.2.5 依從性的度量
  8.3 在軟件測試階段度量實時性
    8.3.1 處理及時性的度量
    8.3.2 實時穩(wěn)定性的度量
  8.4 在軟件測試階段度量可靠性
    8.4.1 成熟性的度量
    8.4.2 容錯性的度量
    8.4.3 持續(xù)性的度量
  8.5 在軟件測試階段度量安全性
    8.5.1 安全保密性的度量
    8.5.2 完整性的度量
    8.5.3 防危性的度量
  8.6 在軟件測試階段度量可生存性
    8.6.1 易恢復性的度量
    8.6.2 健壯性的度量
  8.7 在軟件測試階段度量效能性
    8.7.1 時間有效性的度量
    8.7.2 資源有效性的度量
  8.8 在軟件測試階段度量可維護性
    8.8.1 易分析性的度量
    8.8.2 易改變性的度量
    8.8.3 易測試性的度量
    8.8.4 易學性的度量
    8.8.5 易替換性的度量
  8.9 軟件測試階段的過程度量
  8.10 本章小結
第9章  軟件可信性評估方法
  9.1 概述
  9.2 一般性數(shù)學模型
  9.3 知識發(fā)現(xiàn)與權值獲取
    9.3.1 知識發(fā)現(xiàn)基礎
    9.3.2 基于知識發(fā)現(xiàn)的權值獲取
  9.4 效用統(tǒng)一與數(shù)據(jù)處理
    9.4.1 效用理論基礎
    9.4.2 定性指標度量值預處理
    9.4.3 定量指標度量值預處理
    9.4.4 效用的統(tǒng)一
  9.5 證據(jù)理論與數(shù)據(jù)融合
    9.5.1 證據(jù)理論基礎
    9.5.2 Dempster合成規(guī)則
    9.5.3 基于層次模型的融合算法
  9.6 其他推理技術
    9.6.1 不確定性推理
    9.6.2 概率推理
    9.6.3 模糊推理
  9.7 本章小結
第10章  軟件可信性評估指南
  10.1 概述
  10.2 對待評估軟件的要求
  10.3 評估實施指南
  10.4 可信性評估軟件TREAT
  10.5 數(shù)據(jù)處理軟件（DPS）評估實例
  10.6 可信性評估文檔
  10.7 本章小結
附錄A  DPS的實例化模型
附錄B  DPS的評估結果
附錄C  軟件可信性評估文檔模板
  C.1 評估需求規(guī)格說明
  C.2 評估計劃
  C.3 評估報告
參考文獻