●序
前言
章 軟件可信性概論
1.1 引言
1.2 軟件可信性相關定義
1.3 軟件可信性度量研究現狀
1.3.1 面向產品的軟件可信性度量研究進展
1.3.2 面向過程的軟件可信性度量研究進展
1.4 軟件可信性度量驗證研究現狀
1.4.1 軟件可信性度量理論驗證研究進展
1.4.2 軟件可信性度量經驗驗證研究進展
1.5 軟件可信性度量及驗證面臨挑戰
1.5.1 面向軟件行為和結果的用戶預期建模研究有待提升
1.5.2 依據度量結果對軟件可信性改進進行指導研究有待改進
1.5.3 可信屬性間量化關繫模型有待加強
1.5.4 軟件可信性度量驗證有待關注
1.6 本章小結
第2章 軟件可信性層次化模型
2.1 軟件可信屬性模型
2.1.1 中國可信軟件基礎研究可信屬性模型
2.1.2 美國國家標準技術研究所可信屬性模型
2.1.3 德國奧爾登堡TrustSoft研究生院可信屬性模型
2.1.4 航空嵌入式軟件可信屬性模型
2.1.5 基於全生命周期的可信屬性模型
2.1.6 基於出廠報告的可信屬性模型
2.2 軟件可信屬性分層模型
2.2.1 經典軟件質量屬性分層模型
2.2.2 國防科技大學可信屬性分層模型
2.2.3 基於全生命周期的可信屬性分層模型
2.2.4 基於出廠報告的可信屬性分層模型
2.3 軟件可模型
2.3.1 基於全生命周期的可模型
2.3.2 基於出廠報告的可模型
2.4 本章小結
第3章 基於屬性的軟件可信性度量模型
3.1 概述
3.2 基於屬性的軟件可信性度量性質
3.3 基於屬性的軟件可信性度量模型
3.4 基於屬性劃分的軟件可信性度量模型
3.5 基於屬性分解的軟件可信性度量性質
3.6 基於屬性分解的軟件可信性度量模型
3.7 本章小結
第4章 面向源代碼的軟件可信性度量模型與規範
4.1 度量理論基本概念
4.2 軟件度量領域中常用度量結構
4.3 面向源代碼的軟件可信性度量模型
4.3.1 軟件可信性經驗關繫繫統
4.3.2 基於Extensive結構的線性可加軟件可信性度量模型
4.3.3 面向模塊的非線性加法軟件可信性度量模型
4.4 非線性加法模型驗證的公理化驗證方法
4.4.1 基於模塊的軟件可信性度量性質
4.4.2 度量模型的理論驗證
4.5 示例
4.6 面向源代碼的軟件可信性規範
4.7 本章小結
第5章 軟件可信性量化分級評估方法
5.1 軟件可信性度量評估體繫結構
5.2 軟件可信性度量方法
5.2.1計算模型
5.2.2 子屬性計算模型
5.2.3 屬性計算模型
5.2.4 軟件可信性計算模型
5.2.5 全生命周期的可信性度量計算
5.3 軟件可信性分級模型
5.4 屬性權重計算方法
5.4.1 層次分析法與正互反判斷矩陣
5.4.2 層次分析中常見的排序方法
5.4.3 合理層次分析排序方法應滿足的一般性質
5.4.4 排序方法性能比較
5.4.5 基於層次分析排序方法的組合方法
5.4.6 示例
5.5 本章小結
第6章 軟件可信性增強方法
6.1 軟件可信性分配
6.1.1 軟件可信性分配模型
6.1.2 軟件可信性分配算法
6.1.3 軟件可信性分配示例
6.2 軟件屬性可信性分配
6.2.1 軟件屬性可信性分配模型
6.2.2 軟件屬性可信性分配算法
6.2.3 軟件屬性可信性分配示例
6.3 軟件可信性再分配
6.3.1 軟件可信性再分配模型
6.3.2 軟件可信性再分配算法
6.3.3 軟件可信性再分配示例
6.4 本章小結
第7章 基於出廠報告的軟件可信性度量評估與增強規範
7.1 基於出廠報告的軟件可信性層次化模型
7.2 基於出廠報告的軟件可信性量化分級評估方法
7.3 基於出廠報告的軟件可信性分級評估方法應用
7.4 基於出廠報告的某類安全攸關軟件可信性增強規範
7.5 本章小結
參考文獻
索引