净室软件工程 技术与过程PDF|Epub|txt|kindle电子书版本网盘下载

净室软件工程 技术与过程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