第1章概论1
1.1软件可信性2
1.2全开发生存周期的软件可信性评估3
1.3本书的组织与结构4
第2章软件与软件质量6
2.1概述6
2.2软件失效造成的灾难6
2.3软件与软件工程7
2.4软件质量评价9
2.5软件质量模型10
2.5.1Beohm质量模型11
2.5.2McCall质量模型12
2.5.3ISO 9126质量模型12
2.5.4GB/T 16260质量模型13
2.5.5ISO 25010 质量模型14
2.6本章小结15
第3章软件开发生存周期17
3.1概述17
3.2软件生存周期过程17
3.3软件生存周期模型20
3.3.1瀑布模型20
3.3.2快速原型开发模型21
3.3.3增量开发模型22
3.3.4极限编程模型23
3.3.5螺旋模型23
3.4软件开发过程24
3.4.1软件需求分析24
3.4.2软件设计27
3.4.3软件编码实现29
3.4.4软件测试31
3.5本章小结33
第4章软件可信性评估模型35
4.1概述35
4.2模型结构35
4.3可信属性与可信子属性36
4.4可信度量与度量指标39
4.5本章小结40
第5章需求分析阶段的可信度量42
5.1需求分析阶段度量策略42
5.2在需求分析阶段度量软件可用性42
5.2.1适合性的度量42
5.2.2准确性的度量43
5.2.3互操作性的度量44
5.2.4易操作性的度量45
5.2.5依从性的度量46
5.3在需求分析阶段度量实时性46
5.3.1处理及时性的度量46
5.3.2实时稳定性的度量47
5.4在需求分析阶段度量可靠性47
5.4.1成熟性的度量48
5.4.2容错性的度量48
5.4.3持续性的度量49
5.5在需求分析阶段度量安全性49
5.5.1安全保密性的度量49
5.5.2完整性的度量50
5.5.3防危性的度量51
5.6在需求分析阶段度量可生存性51
5.6.1易恢复性的度量51
5.6.2健壮性的度量52
5.7在需求分析阶段度量效能性52
5.7.1时间有效性的度量53
5.7.2资源有效性的度量53
5.8在需求分析阶段度量可维护性54
5.8.1易分析性的度量55
5.8.2易改变性的度量55
5.8.3易测试性的度量56
5.8.4易学性的度量56
5.8.5易替换性的度量57
5.9需求分析阶段的过程度量58
5.10本章小结61
第6章软件设计阶段的可信度量62
6.1软件设计阶段度量策略62
6.2在设计阶段度量软件可用性62
6.2.1适合性的度量63
6.2.2准确性的度量65
6.2.3互操作性的度量66
6.2.4易操作性的度量67
6.2.5依从性的度量68
6.3在设计阶段度量实时性68
6.3.1处理及时性的度量68
6.3.2实时稳定性的度量69
6.4在设计阶段度量可靠性69
6.4.1成熟性的度量70
6.4.2容错性的度量70
6.4.3持续性的度量70
6.5在设计阶段度量安全性71
6.5.1安全保密性的度量72
6.5.2完整性的度量73
6.5.3防危性的度量73
6.6在设计阶段度量可生存性74
6.6.1易恢复性的度量74
6.6.2健壮性的度量74
6.7在设计阶段度量效能性75
6.7.1时间有效性的度量75
6.7.2资源有效性的度量76
6.8在设计阶段度量可维护性77
6.8.1易分析性的度量77
6.8.2易改变性的度量78
6.8.3易测试性的度量79
6.8.4易学性的度量79
6.8.5易替换性的度量80
6.9设计阶段的过程度量81
6.10本章小结84
第7章编码实现阶段的可信度量85
7.1编码实现阶段度量策略85
7.2在编码实现阶段度量软件可用性85
7.2.1适合性的度量86
7.2.2准确性的度量87
7.2.3互操作性的度量87
7.2.4易操作性的度量88
7.2.5依从性的度量89
7.3在编码实现阶段度量实时性90
7.3.1处理及时性的度量90
7.3.2实时稳定性的度量91
7.4在编码实现阶段度量可靠性91
7.4.1成熟性的度量91
7.4.2容错性的度量92
7.4.3持续性的度量93
7.5在编码实现阶段度量安全性93
7.5.1安全保密性的度量93
7.5.2完整性的度量94
7.5.3防危性的度量95
7.6在编码实现阶段度量可生存性96
7.6.1易恢复性的度量96
7.6.2健壮性的度量97
7.7在编码实现阶段度量效能性97
7.7.1时间有效性的度量97
7.7.2资源有效性的度量98
7.8在编码实现阶段度量可维护性99
7.8.1易分析性的度量99
7.8.2易改变性的度量100
7.8.3易测试性的度量101
7.8.4易学性的度量101
7.8.5易替换性的度量102
7.9编码实现阶段的过程度量103
7.10本章小结106
第8章软件测试阶段的可信度量107
8.1软件测试阶段度量策略107
8.2在软件测试阶段度量软件可用性107
8.2.1适合性的度量107
8.2.2准确性的度量109
8.2.3互操作性的度量110
8.2.4易操作性的度量110
8.2.5依从性的度量111
8.3在软件测试阶段度量实时性112
8.3.1处理及时性的度量112
8.3.2实时稳定性的度量113
8.4在软件测试阶段度量可靠性114
8.4.1成熟性的度量114
8.4.2容错性的度量114
8.4.3持续性的度量116
8.5在软件测试阶段度量安全性117
8.5.1安全保密性的度量117
8.5.2完整性的度量118
8.5.3防危性的度量118
8.6在软件测试阶段度量可生存性120
8.6.1易恢复性的度量120
8.6.2健壮性的度量121
8.7在软件测试阶段度量效能性122
8.7.1时间有效性的度量122
8.7.2资源有效性的度量123
8.8在软件测试阶段度量可维护性125
8.8.1易分析性的度量125
8.8.2易改变性的度量125
8.8.3易测试性的度量127
8.8.4易学性的度量128
8.8.5易替换性的度量129
8.9软件测试阶段的过程度量130
8.10本章小结132
第9章软件可信性评估方法134
9.1概述134
9.2一般性数学模型135
9.3知识发现与权值获取136
9.3.1知识发现基础136
9.3.2基于知识发现的权值获取137
9.4效用统一与数据处理140
9.4.1效用理论基础140
9.4.2定性指标度量值预处理141
9.4.3定量指标度量值预处理142
9.4.4效用的统一142
9.5证据理论与数据融合142
9.5.1证据理论基础142
9.5.2Dempster合成规则143
9.5.3基于层次模型的融合算法144
9.6其他推理技术147
9.6.1不确定性推理147
9.6.2概率推理148
9.6.3模糊推理150
9.7本章小结153
第10章软件可信性评估指南156
10.1概述156
10.2对待评估软件的要求156
10.3评估实施指南157
10.4可信性评估软件TREAT159
10.5数据处理软件(DPS)评估实例160
10.6可信性评估文档168
10.7本章小结169
附录ADPS的实例化模型170
附录BDPS的评估结果192
附录C软件可信性评估文档模板219
C.1评估需求规格说明219
C.2评估计划220
C.3评估报告222
参考文献224