軟件可信性度量評(píng)估與增強(qiáng)規(guī)范

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