软件可靠性、安全性与质量保证

第1章 绪论
1.1 计算机软件的“虫灾”
1.2 软件可靠性发展史
第2章 软件质量及可靠性的基本概念
2.1 软件及软件工程
2.1.1 软件的定义
2.1.2 软件工程
2.1.3 产品生存期
2.1.4 软件生存期
2.2 软件的质量
2.2.1 产品的质量
2.2.2 软件的质量要素
2.2.3 软件的质量属性
2.2.4 McCall三层次质量度量模型
2.3 软件可靠性的基本概念
2.3.1 软件可靠性的定义
2.3.2 软件可靠性的基本数学关系
2.3.3 软件可靠性工程
2.3.4 软件的安全性、可用性和健壮性
2.3.5 硬件和软件的可靠性特征
2.4 软件错误软件故障及软件失效
2.4.1 有关术语的定义
2.4.2 软件错误发生的原因
2.4.3 Goel软件错误的分类方法
2.4.4 Thayer软件错误的分类方法
2.5 软件可靠性模型的概念
2.5.1 可靠性结构模型和可靠性预计模型
2.5.2 可靠性模型的作用
2.5.3 软件开发中可靠性模型应用案例
2.5.4 软件可靠性预计模型的类型
2.5.5 软件可靠性预计模型的正确使用
第3章 软件的可靠性设计
3.1 基本策略
3.1.1 设计过程分析
3.1.2 可靠性设计的四种类型
3.1.3 Myers设计原则
3.1.4 科学的工作方法
3.2 需求分析
3.2.1 任务及方法
3.2.2 制定指标
3.3 概要设计和详细设计
3.3.1 系统的层次结构
3.3.2 模块化
3.3.3 变换型和事务型系统结构
3.3.4 详细设计的图形工具
3.3.5 结构化程序设计
3.4 查错和改错设计
3.4.1 被动式错误检测
3.4.2 主动式错误检测
3.4.3 改错设计
3.5 容错设计
3.5.1 N文本法
3.5.2 恢复块法
3.5.3 接收检测设计
3.6 案例分析：阿丽亚娜5型火箭软件设计的反思
第4章 软件测试
4.1 软件测试的基本原则
4.1.1 软件测试技术分类
4.1.2 渐进测试策略
4.1.3 VOCAL测试策略
4.1.4 综合测试方法
4.1.5 案例设计策略
4.1.6 Myers测试经验汇集
4.2 静态测试
4.2.1 代码（桌面）检查
4.2.2 走查
4.2.3 形式化分析
4.3 结构测试
4.3.1 覆盖要求
4.3.2 程序路径数
4.3.3 测试案例选择
4.4 功能测试
4.4.1 测试案例选择
4.4.2 随机输入测试
4.4.3 验收标准
4.5 软件排错
4.5.1 错误定位
4.5.2 改正错误
4.5.3 排错技术
4.6 软件测试技术评价及现状
4.6.1 对测试技术的评价
4.6.2 利用测试评价软件开发技术
4.6.3 软件测试面临的问题
第5章 软件可靠性预计模型
5.1 JELINSKI-MORANDA模型
5.1.1 基本假设
5.1.2 基本公式
5.1.3 参数的最大似然估计
5.1.4 参数的最小二乘估计
5.1.5 模型的极限条件
5.1.6 FC型J-M模型
5.1.7 应用案例
5.2 几何递减模型
5.2.1 基本假设
5.2.2 基本公式
5.2.3 参数的最大似然估计
5.2.4 参数的最小二乘估计
5.2.5 FC型几何递减模型
5.2.6 模型的极限条件
5.3 S-W模型
5.3.1 基本假设
5.3.2 基本公式
5.3.3 参数的最大似然估计
5.3.4 参数的最小二乘估计
5.3.5 FC型S-W模型
5.3 名模型的权限条件
5.4 SHOOMAN模型
5.4.1 基本假设
5.4.2 基本公式
5.4.3 参数的矩估计
5.4.4 参数的最大似然估计
5.4.5 模型的极限条件
5.5 MUSA执行时间模型
5.5.1 基本假设
5.5.2 基本公式
5.5.3 模型的参数估计及极限条件
5.5.4 资源耗用模型
5.5.5 应用案例
5.6 G-O非齐次Poisson过程模型
5.6.1 基本假设
5.6.2 基本公式
5.6.3 参数的最大似然估计
5.6.4 参数的最小二乘估计
5.6.5 假设检验
5.6.6 软件的最优交付时间
5.6.7 三参数G-O模型
5.6.8 应用案例
5.7 Littlewood贝叶斯排错模型
5.7.1 基本假设
5.7.2 基本公式
5.7.3 参数的最大似然估计
5.7.4 参数的最小二乘估计
5.8 Nelson模型
5.9 错误植入模型
5.9.1 基本公式及点估计
5.9.2 区间估计
5.9.3 模型与时间变量
5.10 非线性回归预计法
5.10.1 指数函数模型
5.10.2 Weibull函数模型
第6章 软件与硬-软件复合系统结构模型
6.1 系统结构分解
6.2 串行系统结构模型
6.3 并行系统结构模型
6.3.1 串联配置系统
6.3.2 并联配置系统
6.3.3 k/n配置系统
6.3.4 共同原因失效
6.3.5 时间基准
6.3.6 应用案例
6.4 分布式系统及冗余系统
6.4.1 分布式系统简化分析法
6.4.2 备用冗余系统
6.5 硬-软件复合系统结构预计方法
6.5.1 预计目的
6.5.2 预计途径
6.5.3 软件模块固有可靠性特征的预计方法
6.5.4 开发特征
6.5.5 模块可靠性预计
6.5.6 软件系统的可靠性
6.5.7 应用案例
第7章 软件系统安全性分析
7.1 概述
7.1.1 软件系统安全性工作的意义
7.1.2 软件系统的安全性工作
7.1.3 软件安全性分析所需的信息
7.2 软件系统安全性分析项目
7.3 软件安全性设计准则
7.3.1 安全设计
7.3.2 程序运行
7.3.3 软件安全关键单元
7.3.4 接口设计
7.3.5 操作员接口
7.3.6 软件安全关键单元的识别
7.3.7 编码
7.3.8 测试
7.4 软件失效模式、效应及危害度分析法
7.4.1 Reifer关于SFMEA的论述
7.4.2 SFMEA的新进展
7.4.3 软件FMEA中的失效模式、影响及严重性分类方法
7.4.4 软件FMEA分析方法及详细步骤
7.5 嵌入式软件的FMEA分析法
7.5.1 计算机控制系统的结构和特征
7.5.2 嵌入式计算机控制系统的特征
7.5.3 嵌入式计算机软件的可靠性特征
7.5.4 嵌入式软件的软硬件综合FMEA分析方法
7.5.5 嵌入式测速装置软硬件综合FMEA分析（案例之一）
7.5.6 粮食自动装载传输系统（案例之二）
7.6 软件故障树分析法
7.6.1 故障树的逻辑关系
7.6.2 危险分析
7.6.3 构造故障树
7.6.4 故障树分析实例
7.6.5 软件故障树分析法的用途
7.7 软件潜藏分析法
7.7.1 硬件潜藏回路分析方法简介
7.7.2 软件网络树的构造
7.7.3 拓扑识别
7.7.4 线索表的应用
7.8 软件的Petri网分析法
7.8.1 Petri网的基本理论
7.8.2 时间Petri网的安全性分析方法
第8章 程序的复杂性与可靠性分配
8.1 概述
8.2 Halstead复杂性度量
8.3 Thayer复杂性度量
8.3.1 逻辑复杂性
8.3.2 接口复杂性
8.3.3 计算复杂性
8.3.4 输入输出复杂性
8.3.5 可读性
8.3.6 分程序的复杂性
8.3.7 复杂性与软件错误的关系
8.4 图论复杂性度量
8.4.1 图的性质
8.4.2 程序流图与McCabe复杂性度量
8.4.3 节点复杂性
8.5 软件的可靠性分配
8.5.1 可靠性分配的目的和要求
8.5.2 软件可靠性分配的基本关系式
8.5.3 复杂性系数计算方法
第9章 软件维护
9.1 软件维护的基本概念
9.1.1 生存期层面上的软件维护
9.1.2 技术层面上的软件维护
9.1.3 软件的可维护性
9.1.4 软件可维护性与硬件维修性的区别
9.1.5 软件维护的重要意义
9.1.6 软件维护分类
9.2 软件维护的实施
9.2.1 软件维护工作内容
9.2.2 影响软件维护工作的因素
9.3 逆向工程和再工程
9.3.1 逆向工程
9.3.2 再工程
9.3.3 逆向工程和再工程在软件维护中的作用
9.4 软件维护的忧患
9.4.1 传统难题
9.4.2 新的挑战
第10章 软件的质量保证
10.1 ISO 9000系列标准对软件质量管理和质量保证的要求
10.1.1 ISO 9000系列标准简介
10.1.2 ISO 9000-3的主要内容
10.1.3 2000版ISO 9000族标准与软件的质量保证
10.2 国军标GJB-439对软件质量保证的要求
10.2.1 管理
10.2.2 文档
10.2.3 评审与审查
10.2.4 其他条款
10.3 软件能力成熟度模型
10.3.1 软件过程完善程度的框架
10.3.2 关键过程
10.3.3 CSCMM模型
10.4 国外软件质量保证的经验和案例
10.4.1 Whited关于软件保证的实践
10.4.2 Knight关于软件质量保证机构的见解和经验
10.4.3 日立公司软件质量评估系统
10.4.4 结果及讨论
附表1 正态分布分位数表
附表2 检验的临界值（Dng）表
附表3 错误植入模型区间估计表