系统软件可靠性

第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 软件可靠性影响因子调查词汇表基础词汇、定义与术语部分习题解答索引参考文献内容简介

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