软件可靠性的不确定性研究PDF电子书下载

第1章 绪论 1

1.1 研究背景和意义 1

1.1.1 软件质量的重要性 1

1.1.2 软件可靠性的不确定性 4

1.1.3 软件可靠性定性评估的意义 12

1.2 研究现状 13

1.3 本书主要研究内容及框架 16

第2章 云模型与云进化策略 19

2.1 云模型的进一步理解 19

2.1.1 云和云的数字特征 19

2.1.2 正向云发生器 22

2.1.3 正态云的概率分析 27

2.1.4 逆向云发生器 32

2.1.5 一种新的逆向云算法 33

2.1.6 三种逆向云算法的比较 37

2.1.7 多维正态云 42

2.2 云运算与词计算 45

2.2.1 代数运算 46

2.2.2 逻辑运算 47

2.2.3 语气运算 49

2.2.4 云变换 50

2.2.5 虚拟云 52

2.3 基于云模型的不确定性推理 54

2.3.1 单规则推理 55

2.3.2 多规则推理 57

2.4 云进化策略 58

2.4.1 进化计算简介 58

2.4.2 云进化策略 61

2.4.3 基于云进化策略的软件可靠性分配实例分析 65

2.5 本章小结 67

第3章 基于云模型的软件可靠性 68

3.1 软件失效的相关概念 68

3.1.1 软件失效机理 68

3.1.2 软件失效的软划分 71

3.1.3 软件失效数据 74

3.2 软件可靠性指标的云表示 76

3.2.1 可靠度 76

3.2.2 失效率和失效强度 77

3.2.3 平均失效前时间和平均失效间隔时间 79

3.2.4 软件可靠性指标的概念划分 80

3.3 传统软件可靠性模型的局限性及其改进 83

3.3.1 传统软件可靠性模型 83

3.3.2 传统软件可靠性模型的局限性分析 85

3.3.3 传统软件可靠性模型的改进思路 87

3.4 本章小结 88

第4章 基于云模型的软件可靠性预计模型的定性评估 90

4.1 J-M模型的软件可靠性的定性评估 90

4.1.1 J-M模型的数学描述 91

4.1.2 J-M模型的定性评估 96

4.2 指数函数模型的软件可靠性的定性评估 101

4.2.1 指数函数模型的数学描述 102

4.2.2 指数函数模型的定性评估 103

4.3 威布尔函数模型的软件可靠性的定性评估 106

4.3.1 威布尔函数模型的数学描述 106

4.3.2 威布尔函数模型的定性评估 107

4.4 本章小结 111

第5章 基于Markov测试方法的软件可靠性评估 112

5.1 净室软件工程 112

5.1.1 净室软件工程的产生及发展 112

5.1.2 净室软件工程技术 115

5.1.3 净室软件工程与Markov测试 120

5.2 Markov测试方法 123

5.2.1 理论基础 125

5.2.2 使用模型的开发 128

5.2.3 使用模型分析和测试计划 132

5.2.4 测试用例生成与执行 133

5.2.5 测试充分性 134

5.2.6 Markov测试的优点 136

5.3 Markov测试的统计性质 138

5.3.1 使用链的表示与分析 138

5.3.2 测试链的表示与分析 145

5.3.3 Markov测试停止判别式的统计性质 148

5.3.4 实例模拟 152

5.4 Markov测试的软件可靠性评估 160

5.4.1 软件系统的可靠性模型 160

5.4.2 软件可靠性的点估计及其渐近性质 164

5.4.3 实例模拟 167

5.5 本章小结 170

第6章 基于云模型的结构化软件的可靠性的定性评估 172

6.1 软件系统的结构分解 172

6.2 基于Markov模型的软件可靠性的定性评估 173

6.2.1 使用链的不确定性构造 174

6.2.2 使用链的聚合问题 178

6.2.3 软件系统的云可靠度模型及其计算算法 180

6.2.4 实例分析 186

6.3 基于可靠性组合的软件系统可靠性的定性评估 188

6.3.1 AND配置 188

6.3.2 OR配置 190

6.4 本章小结 192

第7章 考虑多种不确定因素的软件可靠性的定性评估 194

7.1 软件可靠性影响因素 194

7.2 确定软件可靠性影响因素的权重 198

7.2.1 权重分配方法简介 198

7.2.2 DHP法的基本原理与步骤 199

7.3 软件可靠性定性规则的挖掘 203

7.3.1 相关数据库的建立和转换 203

7.3.2 基于云模型的标准加权关联规则的挖掘 205

7.4 软件可靠性的定性评估 207

7.5 本章小结 208

第8章 结束语 209

8.1 总结 209

8.1.1 云模型理论的深化和发展 209

8.1.2 基于云模型的软件可靠性 210

8.1.3 基于云模型的软件可靠性预计模型的定性评估 210

8.1.4 基于Markov测试方法的软件可靠性评估 211

8.1.5 基于云模型的结构化软件的可靠性的定性评估 211

8.1.6 考虑多种不确定因素的软件可靠性的定性评估 212

8.2 展望 212

附录 有限状态、离散参数和时齐的Makov链 214

1 转移概率 215

2 状态分类 216

3 有限状态空间的分解 217

4 遍历性与平稳分布 218

5 分类 220

参考文献 221

作者论著 234