系统软件可靠性 / 可靠性维修性保障性学术专著译丛
作者： (美)洪范
译者：李璐祎 译；
出版时间：2014年7月
出版社：国防工业
- 国防工业
- 9787118094749
- 25053
- 2014年7月
- 未分类
- 未分类
- TP311.5
《系统软件可靠性》根据Springer出版社出版的《system Software Reliability》一书翻译而成，是软件可靠性领域的前沿著作。本书介绍了系统软件可靠性理论与实践的发展现状及最新研究成果，并融合了作者洪范在软件可靠性领域20多年的经验。
本书的内容可以分为如下几部分：第1章～第4章介绍了软件工程、软件可靠性的基础知识，并阐述了随机过程及评估理论、常见的评估技术，为软件可靠性评估打下坚实的基础；第5章～第9章介绍了软件可靠性评估模型及评估方法，包括传统的软件可靠性评估模型、基于非齐次泊松过程的软件可靠性模型、考虑测试覆盖率与缺陷移除的可靠性模型以及考虑环境因素的软件可靠性模型及其校准；第10章讨论了软件成本模型；第11章重点讨论了复杂软件系统的容错机制及可靠性模型，并介绍了考虑软硬件交互失效的复杂软件可靠性分析方法。本书由浅人深，从基础知识的介绍开始引入，再关注于传统软件可靠性模型，对软件可靠性模型给出了详细的数学推理过程，之后再扩展到考虑环境因素、测试覆盖率、缺陷移除等要素的复杂软件可靠性模型。由于在软件可靠性领域工业界耕耘多年，作者在本书中介绍了大量的实际软件可靠性失效案例，因此，本书是一本软件可靠性领域理论结合实际的优秀著作，不仅可以作为软件可靠性专业学生的教科书，也可以为软件可靠性领域的从业者提供工具和参考。
第1章 绪论
1.1 对于系统软件可靠性的需求
1.2 软件相关问题
1.3 软件可靠性工程
1.4 21世纪面临的新问题
1.5 扩展阅读
习题
第2章 系统可靠性概念
2.1 可靠性度量元
2.2 常见分布函数
2.3 广义“系统能力”函数
2.3.1 “系统能力”的定义
2.3.2 “系统能力”的计算
2.4 具有多种失效模式的系统可靠性
2.4.1 可靠性计算
2.4.2 多失效模式系统的应用
2.5 马尔可夫过程
2.6 计数过程
2.6.1 白松过程
2.6.2 更新过程
2.6.3 准更新过程
2.6.4 非齐次泊松过程
2.7 扩展阅读
习题
第3章 估计理论
3.1 点估计
3.2 极大似然估计法
3.3 截尾数据的极大似然估计
3.3.1 多重截尾数据的参数估计
3.3.2 置信区间估计
3.3.3 应用
3.4 统计变点估计方法
3.5 拟合优度技术
3.5.1 卡方检验
3.5.2 K—Sd测试
3.6 最小二乘估计
3.7 区间估计
3.7.1 正态参数的置信区间
3.7.2 指数分布参数的置信区间
3.7.3 二项参数的置信区间
3.7.4 泊松参数的置信区间
3.8 非参数容差极限
3.9 序贯抽样
3.10 贝叶斯方法
3.11 扩展阅读
习题
第4章 软件开发生命周期和数据分析
4.1 概述
4.2 软件与硬件的可靠性
4.3 软件可靠性测试的概念
4.4 软件生命周期
4.5 软件开发过程及其应用
4.5.1 层次分析法
4.5.2 软件开发过程的评估
4.6 软件验证和确认
4.7 数据分析
4.8 失效数据集
4.9 扩展阅读
习题
第5章 软件可靠性建模
5.1 概述
5.2 Halstead软件度量元
5.3 Mccabe圈复杂度度量元
5.4 错误播种模型
5.5 失效率模型
5.6 曲线拟合模型
5.7 可靠性增长模型
5.8 马尔可夫结构模型
5.9 时间序列模型
5.10 非齐次泊松过程模型
5.11 护展阅读
习题
第6章 不完美排错模型
6.1 概述
6.2 参数估计
6.3 模型选取
6.4 NHPP指数模型
6.5 NHPP S形模型
6.6 NHPP不完美排错模型
6.7 NHPP不完美排错S形模型
6.8 应用
6.9 不完美排错与完美排错
6.10 NHPP模型的平均失效间隔时间.
6.11 扩展阅读
习题
第7章 测试覆盖率与错误移除模型
7.1 概述
7.2 测试覆盖模型
7.3 测试覆盖率与不完美排错
7.4 错误移除效率模型
7.5 模型实施
7.6 含有多种失效类型的不完全排错模型
7.6.1 恒定错误检测率
7.6.2 时间相关的错误检测率
7.7 扩展阅读
习题
第8章 考虑环境因子的软件可靠性模型
8.1 概述
8.2 数据分析
8.2.1 调查分析
8.2.2 统计模型
8.3 环境因子的探索性分析
8.4 进一步探索性分析
8.5 考虑环境因子的广义模型
8.6 环境参数估计
8.7 增强比例风险JM模型(EPJM模型)
8.8 应用
8.9 扩展阅读
习题
第9章 软件可靠性模型的校准
9.1 概述
9.2 校准因子方法
9.3 模型应用
9.4 考虑随机外场环境的模型校准
9.4.1 广义随机外场环境模型
9.4.2 RFE可靠性模型
9.4.3 应用
9.5 扩展阅读
习题
第10章 最优软件发布策略
10.1 概述
10.2 考虑风险因子的软件成本模型
10.3 考虑测试覆盖率的成本模型
10.4 广义软件成本模型
10.5 考虑多种失效错误的成本模型
10.6 考虑随机外场环境的增益模型
10.6.1 模型公式
10.6.2 应用
10.7 其他成本模型
10.8 扩展阅读
习题
第11章 复杂容错系统可靠性建模
11.1 概述
11.2 基本容错软件技术
11.2.1 恢复块机制
11.2.2 N版本编程
11.3 其他高级技术
11.3.1 自检双版本机制
11.3.2 混合容错机制
11.3.3 减少共因失效
11.4 考虑共因失效的三版本编程模型
11.4.1 模型假设
11.4.2 三版本程序系统可靠性函数
11.4.3 数值例子
11.5 复杂系统可靠性建模
11.5.1 系统考虑
11.5.2 可靠性建模
11.6 应用实例
11.7 扩展阅读
习题
附录1 分布表
附录2 拉普拉斯变换
附录3 软件可靠性影响因子调查
词汇表基础词汇、定义与术语
部分习题解答
索引
参考文献
内容简介
