《系统软件可靠性》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:(美)洪范著
  • 出 版 社:北京:国防工业出版社
  • 出版年份:2014
  • ISBN:9787118094749
  • 页数:380 页
图书介绍:本书共分11章,第1章简介了系统软件可靠性及其相关术语;第2章讨论了软件可靠性工程以及包括马尔科夫过程、更新过程等在内的随机过程的相关概念;第3章描述了评估理论、常见的评估技术以及置信区间估计;第4章阐述了包括软件生命周期、软件开发周期、软件测试等在内的软件工程评估的基本概念;第5章讨论了几组传统的软件可靠性模型和评估方法,并简要介绍了软件复杂性、残余缺陷数等其它软件性能指标的评估方法;第6章包含了基于非齐次泊松过程(NHPP)的软件可靠性模型,同时讨论了广义NHPP模型、模型选择以及软件平均失效间隔时间等;第7章重点讨论了解决测试覆盖和缺陷移除的软件可靠性模型;第8章描述了一些最近的关于环境因素的研究,并讨论了环境因素对于软件可靠性评估的影响;第9章讨论了软件可靠性模型的校正技术;第10章介绍了考虑了由软件失效带来的保证问题和风险成本的基于NHPP的软件花费模型;第11章讨论了容错软件系统的基本概念以及其它高级技术,如自检机制等。

第1章 绪论 1

1.1对于系统软件可靠性的需求 1

1.2软件相关问题 3

1.3软件可靠性工程 4

1.4 21世纪面临的新问题 5

1.5扩展阅读 6

习题 7

第2章 系统可靠性概念 8

2.1可靠性度量元 8

2.2常见分布函数 14

2.3广义“系统能力”函数 28

2.3.1“系统能力”的定义 28

2.3.2“系统能力”的计算 29

2.4具有多种失效模式的系统可靠性 35

2.4.1可靠性计算 36

2.4.2多失效模式系统的应用 41

2.5马尔可夫过程 43

2.6计数过程 54

2.6.1泊松过程 55

2.6.2更新过程 56

2.6.3准更新过程 58

2.6.4非齐次泊松过程 60

2.7扩展阅读 62

习题 62

第3章 估计理论 66

3.1点估计 66

3.2极大似然估计法 67

3.3截尾数据的极大似然估计 73

3.3.1多重截尾数据的参数估计 74

3.3.2置信区间估计 76

3.3.3应用 76

3.4统计变点估计方法 79

3.5拟合优度技术 82

3.5.1卡方检验 82

3.5.2 K-Sd测试 84

3.6最小二乘估计 84

3.7区间估计 86

3.7.1正态参数的置信区间 86

3.7.2指数分布参数的置信区间 88

3.7.3二项参数的置信区间 89

3.7.4泊松参数的置信区间 91

3.8非参数容差极限 91

3.9序贯抽样 92

3.10贝叶斯方法 97

3.11扩展阅读 103

习题 103

第4章 软件开发生命周期和数据分析 105

4.1概述 105

4.2软件与硬件的可靠性 105

4.3软件可靠性测试的概念 108

4.4软件生命周期 110

4.5软件开发过程及其应用 114

4.5.1层次分析法 115

4.5.2软件开发过程的评估 115

4.6软件验证和确认 116

4.7数据分析 117

4.8失效数据集 118

4.9扩展阅读 130

习题 130

第5章 软件可靠性建模 132

5.1概述 132

5.2 Halstead软件度量元 132

5.3 McCabe圈复杂度度量元 136

5.4错误播种模型 138

5.5失效率模型 142

5.6曲线拟合模型 148

5.7可靠性增长模型 149

5.8马尔可夫结构模型 149

5.9时间序列模型 151

5.10非齐次泊松过程模型 152

5.11扩展阅读 153

习题 154

第6章 不完美排错模型 155

6.1概述 155

6.2参数估计 156

6.3模型选取 157

6.4 NHPP指数模型 158

6.5 NHPP S形模型 163

6.6 NHPP不完美排错模型 166

6.7 NHPP不完美排错S形模型 168

6.8应用 176

6.9不完美排错与完美排错 183

6.10 NHPP模型的平均失效间隔时间 185

6.11扩展阅读 187

习题 188

第7章 测试覆盖率与错误移除模型 190

7.1概述 190

7.2测试覆盖模型 190

7.3测试覆盖率与不完美排错 192

7.4错误移除效率模型 195

7.5模型实施 199

7.6含有多种失效类型的不完全排错模型 213

7.6.1恒定错误检测率 214

7.6.2时间相关的错误检测率 216

7.7扩展阅读 220

习题 220

第8章 考虑环境因子的软件可靠性模型 221

8.1概述 221

8.2数据分析 221

8.2.1调查分析 221

8.2.2统计模型 224

8.3环境因子的探索性分析 226

8.4进一步探索性分析 231

8.5考虑环境因子的广义模型 235

8.6环境参数估计 237

8.7增强比例风险JM模型(EPJM模型) 238

8.8应用 241

8.9扩展阅读 253

习题 253

第9章 软件可靠性模型的校准 255

9.1概述 255

9.2校准因子方法 255

9.3模型应用 256

9.4考虑随机外场环境的模型校准 259

9.4.1广义随机外场环境模型 260

9.4.2 RFE可靠性模型 262

9.4.3应用 264

9.5扩展阅读 273

习题 273

第10章 最优软件发布策略 274

10.1概述 274

10.2考虑风险因子的软件成本模型 275

10.3考虑测试覆盖率的成本模型 278

10.4广义软件成本模型 281

10.5考虑多种失效错误的成本模型 285

10.6考虑随机外场环境的增益模型 290

10.6.1模型公式 291

10.6.2应用 295

10.7其他成本模型 298

10.8扩展阅读 299

习题 299

第11章 复杂容错系统可靠性建模 301

11.1概述 301

11.2基本容错软件技术 302

11.2.1恢复块机制 303

11.2.2 N版本编程 304

11.3其他高级技术 305

11.3.1自检双版本机制 305

11.3.2 混合容错机制 306

11.3.3减少共因失效 308

11.4考虑共因失效的三版本编程模型 309

11.4.1模型假设 312

11.4.2三版本程序系统可靠性函数 315

11.4.3数值例子 317

11.5复杂系统可靠性建模 324

11.5.1系统考虑 325

11.5.2可靠性建模 326

11.6应用实例 331

11.7扩展阅读 334

习题 334

附录1分布表 336

附录2拉普拉斯变换 342

附录3软件可靠性影响因子调查 344

词汇表基础词汇、定义与术语 350

部分习题解答 355

索引 361

参考文献 366

内容简介 380