净室软件工程：技术与过程

第一部分 净室软件工程基础
第1章 净室方法概述
1.1 经济地生产高质量软件
1.1.1 可管理的开发
1.1.2 使用中无失效
1.2 净室基础
1.2.1 函数理论
1.2.2 统计理论
1.2.3 净室小组的工作
1.3 净室技术
1.3.1 在统计过程控制下的增量开发
1.3.2 基于函数的规范、设计和验证
1.3.3 正确性验证
1.3.4 统计测试和软件认证
1.4 净室过程
1.5 净室与其他软件工程惯例的关系
1.5.1 面向对象
1.5.2 软件复用
1.5.3 软件体系结构
1.5.4 检查和评审
1.5.5 软件测试方法
1.6 净室工程实践
1.7 参考文献
1.8 推荐读物
第2章 增量式开发的净室管理
2.1 增量式开发的优点
2.1.1 进展的可见性
2.1.2 智能控制
2.1.3 增量系统集成
2.1.4 连续质量反馈贯穿统计过程控制
2.1.5 用户使用中不断的功能反馈
2.1.6 变更的积累
2.1.7 进度与资源管理
2.2 增量式开发的理论基础
2.2.1 算术中的引用透明性
2.2.2 软件中的引用透明性
2.3 实践中的增量计划
2.3.1 用户需求
2.3.2 明确需求
2.3.3 操作使用概率
2.3.4 可靠性管理
2.3.5 系统工程
2.3.6 技术挑战
2.3.7 重用的影响与作用
2.4 实践中的增量开发
2.5 参考文献
第3章 净室软件规范
3.1 净室规范和设计的盒子结构
3.1.1 黑盒行为
3.1.2 状态盒行为
3.1.3 明盒行为
3.1.4 盒子结构层次
3.1.5 盒子结构原则
3.1.6 盒子结构的开发过程
3.2 基于序列的规范过程
3.2.1 黑盒定义
3.2.2 状态盒定义
3.3 例子：一个安全报警器的规范
3.3.1 定义黑盒子
3.3.2 状态盒安义
3.4 参考文献
第4章 明盒开发计划
4.1 盒式结构开发
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.4.4 明盒的正确性验证
4.5 参考文献
第5章 净室软件认证
5.1 基于使用模型的统计测试的优点
5.2 统计测试的理论基础
5.2.1 样本与总体
5.2.2 软件使用的随机属性
5.3 统计使用测试的实际应用
5.3.1 使用规范
5.3.2 使用模型的开发
5.3.3 使用模型分析和测试计划
5.3.4 测试用例生成与测试
5.3.5 测试充分性和产品质量的度量
5.4 事例：安全警报
5.4.1 使用模型
5.4.2 测试
5.4.3 测试充分性的度量
5.4.4 产品质量的度量
5.5 参考文献
第二部分 净室软件工程参考模型
第6章 净室参考模型
6.1 净室参考模型CRM简介
6.2 净室过程定义格式
6.3 共同的净室过程要素
6.4 参考文献
第7章 净室管理过程
7.1 项目规划过程
7.2 项目管理过程
7.3 行为改进过程
7.4 工程变更过程
第8章 净室规范过程
8.1 需求分析过程
8.2 功能规范过程
8.3 使用规范过程
8.4 体系结构规范过程
8.5 增量规划过程
8.6 参考文献
第9章 净室软件开发过程
9.1 软件再工程过程
9.2 增量设计过程
9.3 正确性验证过程
9.4 参考文献
第10章 净室认证过程
10.1 使用建模和测试规划过程
10.2 统计测试和认证过程
10.3 参考文献
第11章 净室和软件能力成熟度模型
11.1 软件能力成熟度模型(CMM)
11.2 净室过程映到CMM的关键过程域
11.3 集成净室参考模型技术和CMM管理
11.4 参考文献
第三部分 净室软件工程实例研究
第12章 卫星控制系统需求
12.1 卫星控制系统实例研究
12.2 卫星操作软件需求
12.3 参考文献
第13章 卫星控制系统的黑盒规范
13.1 基于序列的黑盒规范
13.2 第一步：定义系统边界
13.3 第二步：枚举激励序列
13.4 第三步：分析典型序列
13.5 第四步：定义规范函数
13.6 第五步：构造黑盒表
13.7 除去抽象
13.8 通用的序列抽象技术
13.8.1 非形式化的抽象激励定义
13.8.2 基于激励的抽象
13.8.3 基于序列的抽象
第14章 卫星控制系统状态盒规范
14.1 状态盒规范
14.2 步骤1：拟定状态数据
14.2.1 规范函数
14.2.2 抽象
14.2.3 响应
14.3 步骤2：构造状态盒表
第15章 卫星控制系统明盒设计
15.1 明盒实现
15.2 第一步：选择一个高层软件结构
15.2.1 开始和中止
15.2.2 目标硬件结构
15.2.3 硬件接口
15.2.4 软件结构
15.3 第二步：为捕获激励选择一种实现
15.4 第三步：为产生响应选择一种实现
15.5 第四步：为状态数据项选择一种实现
15.5.1 对象的数据配置
15.5.2 状态测试与更新
15.6 第五步：为状态盒表中的每一个入口选择一种实现
15.7 第六步：重新组织实现形成可执行代码
第16章 卫星控制系统测试和认证
16.1 统计测试
16.2 第一步：定义认证计划
16.2.1 目标
16.2.2 用户、使用和环境
16.3 第二步：建立模型结构
16.4 第三步：确定状态转移概率
16.5 第四步：确认使用模型
16.6 第五步：产生测试实例，执行和评估结果
16.6.1 模型覆盖
16.6.2 需求覆盖
16.6.3 SOS错误层次(strata)
16.6.4 一般现场操作