软件开发与测试丛书 软件可信性定量评估 模型、方法与实施PDF|Epub|txt|kindle电子书版本网盘下载

软件开发与测试丛书 软件可信性定量评估 模型、方法与实施PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第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.1 Beohm质量模型11

2.5.2 McCall质量模型12

2.5.3 ISO 9126质量模型12

2.5.4 GB/T 16260质量模型13

2.5.5 ISO 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.2 Dempster合成规则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

附录A DPS的实例化模型170

附录B DPS的评估结果192

附录C 软件可信性评估文档模板219

C.1 评估需求规格说明219

C.2 评估计划220

C.3 评估报告222

参考文献224