净室软件工程 技术与过程PDF电子书下载

第一部分 净室软件工程基础 1

第1章 净室方法概述 2

1．1 经济地生产高质量软件 2

1．1．1 可管理的开发 2

1．1．2 使用中无失效 2

1．2 净室基础 3

1．2．1 函数理论 3

1．2．2 统计理论 3

1．2．3 净室小组的工作 4

1．3．2 基于函数的规范、设计和验证 5

1．3 净室技术 5

1．3．1 在统计过程控制下的增量开发 5

1．3．3 正确性验证 7

1．3．4 统计测试和软件认证 7

1．4 净室过程 8

1．5 净室与其他软件工程惯例的关系 9

1．5．1 面向对象 9

1．5．2 软件复用 9

1．5．4 检查和评审 10

1．5．5 软件测试方法 10

1．5．3 软件体系结构 10

1．6 净室工程实践 11

1．7 参考文献 11

1．8 推荐读物 11

第2章 增量式开发的净室管理 14

2．1 增量式开发的优点 14

2．1．1 进展的可见性 14

2．1．2 智能控制 15

2．1．3 增量系统集成 15

2．1．4 连续质量反馈贯穿统计过程控制 15

2．2 增量式开发的理论基础 16

2．2．1 算术中的引用透明性 16

2．1．5 用户使用中不断的功能反馈 16

2．1．7 进度与资源管理 16

2．1．6 变更的积累 16

2．2．2 软件中的引用透明性 17

2．3 实践中的增量计划 18

2．3．1 用户需求 18

2．3．2 明确需求 18

2．3．3 操作使用概率 18

2．4 实践中的增量开发 19

2．3．6 技术挑战 19

2．3．7 重用的影响与作用 19

2．3．5 系统工程 19

2．3．4 可靠性管理 19

2．5 参考文献 21

第3章 净室软件规范 22

3．1 净室规范和设计的盒子结构 22

3．1．1 黑盒行为 22

3．1．2 状态盒行为 24

3．1．3 明盒行为 25

3．1．4 盒子结构层次 25

3．1．5 盒子结构原则 26

3．1．6 盒子结构的开发过程 27

3．2 基于序列的规范过程 28

3．2．1 黑盒定义 29

3．2．2 状态盒定义 30

3．3 例子：一个安全报警器的规范 30

3．3．1 定义黑盒子 30

3．3．2 状态盒安义 34

3．4 参考文献 39

第4章 明盒开发计划 41

4．1 盒式结构开发 41

4．2 明盒开发 42

4．2．1 明盒结构 42

4．2．2 明盒抽象化和文档化 44

4．2．3 明盒预期函数设计 46

4．3 明盒验证 48

4．3．1 正确性问题 48

4．3．2 一个正确性验证的例子 51

4．3．3 实际验证 54

4．4 例子：安全报警器明盒 55

4．4．1 设计方案 55

4．4．2 产品演化中的灵活的结构 55

4．4．3 安全报警器明盒设计 56

4．4．4 明盒的正确性验证 59

4．5 参考文献 62

第5章 净室软件认证 63

5．1 基于使用模型的统计测试的优点 63

5．2 统计测试的理论基础 64

5．2．1 样本与总体 64

5．2．2 软件使用的随机属性 65

5．3 统计使用测试的实际应用 65

5．3．1 使用规范 65

5．3．2 使用模型的开发 66

5．3．3 使用模型分析和测试计划 66

5．3．4 测试用例生成与测试 66

5．4．1 使用模型 67

5．4 事例：安全警报 67

5．3．5 测试充分性和产品质量的度量 67

5．4．2 测试 70

5．4．3 测试充分性的度量 70

5．4．4 产品质量的度量 73

5．5 参考文献 74

第二部分 净室软件工程参考模型 77

第6章 净室参考模型 78

6．1 净室参考模型CRM简介 78

6．3 共同的净室过程要素 84

6．2 净室过程定义格式 84

6．4 参考文献 86

第7章 净室管理过程 87

7．1 项目规划过程 87

7．2 项目管理过程 89

7．3 行为改进过程 91

7．4 工程变更过程 93

第8章 净室规范过程 95

8．1 需求分析过程 95

8．2 功能规范过程 97

8．3 使用规范过程 99

8．4 体系结构规范过程 102

8．5 增量规划过程 104

8．6 参考文献 106

第9章 净室软件开发过程 107

9．1 软件再工程过程 107

9．2 增量设计过程 109

9．3 正确性验证过程 112

9．4 参考文献 114

第10章 净室认证过程 115

10．1 使用建模和测试规划过程 115

10．2 统计测试和认证过程 119

10．3 参考文献 122

第11章 净室和软件能力成熟度模型 123

11．1 软件能力成熟度模型(CMM) 123

11．2 净室过程映到CMM的关键过程域 125

11．3 集成净室参考模型技术和CMM管理 126

11．4 参考文献 127

第三部分 净室软件工程实例研究 129

第12章 卫星控制系统需求 130

12．1 卫星控制系统实例研究 130

12．2 卫星操作软件需求 130

12．3 参考文献 134

13．1 基于序列的黑盒规范 135

第13章 卫星控制系统的黑盒规范 135

13．2 第一步：定义系统边界 137

13．3 第二步：枚举激励序列 140

13．4 第三步：分析典型序列 154

13．5 第四步：定义规范函数 155

13．6 第五步：构造黑盒表 158

13．7 除去抽象 166

13．8 通用的序列抽象技术 168

13．8．1 非形式化的抽象激励定义 168

13．8．3 基于序列的抽象 169

13．8．2 基于激励的抽象 169

第14章 卫星控制系统状态盒规范 171

14．1 状态盒规范 171

14．2 步骤1：拟定状态数据 171

14．2．1 规范函数 172

14．2．2 抽象 173

14．2．3 响应 175

14．3 步骤2：构造状态盒表 176

15．2．1 开始和中止 185

15．2 第一步：选择一个高层软件结构 185

15．2．2 目标硬件结构 185

第15章 卫星控制系统明盒设计 185

15．1 明盒实现 185

15．2．3 硬件接口 187

15．2．4 软件结构 192

15．3 第二步：为捕获激励选择一种实现 200

15．4 第三步：为产生响应选择一种实现 201

15．5 第四步：为状态数据项选择一种实现 202

15．5．1 对象的数据配置 202

15．5．2 状态测试与更新 203

15．6 第五步：为状态盒表中的每一个入口选择一种实现 203

15．7 第六步：重新组织实现形成可执行代码 216

16．2．1 目标 226

16．2．2 用户、使用和环境 226

第16章 卫星控制系统测试和认证 226

16．2 第一步：定义认证计划 226

16．1 统计测试 226

16．3 第二步：建立模型结构 228

16．4 第三步：确定状态转移概率 248

16．5 第四步：确认使用模型 249

16．6 第五步：产生测试实例，执行和评估结果 251

16．6．1 模型覆盖 251

16．6．2 需求覆盖 251

16．6．3 SOS错误层次(strata) 252

16．6．4 一般现场操作 252