軟件可信性度量評估與增強規(guī)范

目錄
序
前言
第1章 軟件可信性概論1
1.1 引言 1
1.2 軟件可信性相關定義 1
1.3 軟件可信性度量研究現(xiàn)狀 3
1.3.1 面向產品的軟件可信性度量研究進展 3
1.3.2 面向過程的軟件可信性度量研究進展 11
1.4 軟件可信性度量驗證研究現(xiàn)狀 12
1.4.1 軟件可信性度量理論驗證研究進展 13
1.4.2 軟件可信性度量經(jīng)驗驗證研究進展 14
1.5 軟件可信性度量及驗證面臨挑戰(zhàn) 20
1.5.1 面向軟件行為和結果的用戶預期建模研究有待提升 20
1.5.2 依據(jù)度量結果對軟件可信性改進進行指導研究有待改進 21
1.5.3 可信屬性間量化關系模型有待加強 21
1.5.4 軟件可信性度量驗證有待關注 22
1.6 本章小結 22
第2章 軟件可信性層次化模型 23
2.1 軟件可信屬性模型 23
2.1.1 中國可信軟件基礎研究可信屬性模型 23
2.1.2 美國國家標準技術研究所可信屬性模型 23
2.1.3 德國奧爾登堡TrustSoft研究生院可信屬性模型 23
2.1.4 航空嵌入式軟件可信屬性模型 24
2.1.5 基于全生命周期的可信屬性模型 24
2.1.6 基于出廠報告的可信屬性模型 26
2.2 軟件可信屬性分層模型 27
2.2.1 經(jīng)典軟件質量屬性分層模型 27
2.2.2 國防科技大學可信屬性分層模型 30
2.2.3 基于全生命周期的可信屬性分層模型 31
2.2.4 基于出廠報告的可信屬性分層模型 32
2.3 軟件可信度量元模型 35
2.3.1 基于全生命周期的可信度量元模型 36
2.3.2 基于出廠報告的可信度量元模型 47
2.4 本章小結 48
第3章 基于屬性的軟件可信性度量模型 50
3.1 概述 50
3.2 基于屬性的軟件可信性度量性質 50
3.3 基于屬性的軟件可信性度量模型 53
3.4 基于屬性劃分的軟件可信性度量模型 60
3.5 基于屬性分解的軟件可信性度量性質 67
3.6 基于屬性分解的軟件可信性度量模型 69
3.7 本章小結 73
第4章 面向源代碼的軟件可信性度量模型與規(guī)范 74
4.1 度量理論基本概念 74
4.2 軟件度量領域中常用度量結構 78
4.3 面向源代碼的軟件可信性度量模型 80
4.3.1 軟件可信性經(jīng)驗關系系統(tǒng) 80
4.3.2 基于Extensive結構的線性可加軟件可信性度量模型 83
4.3.3 面向模塊的非線性加法軟件可信性度量模型 85
4.4 非線性加法模型驗證的公理化驗證方法 86
4.4.1 基于模塊的軟件可信性度量性質 86
4.4.2 度量模型的理論驗證 87
4.5 示例 88
4.6 面向源代碼的軟件可信性規(guī)范 90
4.7 本章小結 94
第5章 軟件可信性量化分級評估方法 95
5.1 軟件可信性度量評估體系結構 95
5.2 軟件可信性度量方法 97
5.2.1 度量元計算模型 97
5.2.2 子屬性計算模型 99
5.2.3 屬性計算模型 99
5.2.4 軟件可信性計算模型 99
5.2.5 全生命周期的可信性度量計算 100
5.3 軟件可信性分級模型 101
5.4 屬性權重計算方法 102
5.4.1 層次分析法與正互反判斷矩陣 102
5.4.2 層次分析中常見的排序方法 103
5.4.3 合理層次分析排序方法應滿足的一般性質 107
5.4.4 排序方法性能比較 108
5.4.5 基于層次分析排序方法的組合方法 109
5.4.6 示例 112
5.5 本章小結 114
第6章 軟件可信性增強方法 115
6.1 軟件可信性分配 115
6.1.1 軟件可信性分配模型 115
6.1.2 軟件可信性分配算法 117
6.1.3 軟件可信性分配示例 120
6.2 軟件屬性可信性分配 122
6.2.1 軟件屬性可信性分配模型 123
6.2.2 軟件屬性可信性分配算法 125
6.2.3 軟件屬性可信性分配示例 128
6.3 軟件可信性再分配 130
6.3.1 軟件可信性再分配模型130
6.3.2 軟件可信性再分配算法132
6.3.3 軟件可信性再分配示例135
6.4 本章小結 137
第7章 基于出廠報告的軟件可信性度量評估與增強規(guī)范 138
7.1 基于出廠報告的軟件可信性層次化模型 138
7.2 基于出廠報告的軟件可信性量化分級評估方法 147
7.3 基于出廠報告的軟件可信性分級評估方法應用 149
7.4 基于出廠報告的某類安全攸關軟件可信性增強規(guī)范 151
7.5 本章小結 160
參考文獻162
索引 174