航天软件需求工程【下载 pdf 百度网盘 epub 免费 2025 电子版 mobi 在线】

航天软件需求工程PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 软件需求与软件需求工程1

1.1 什么是软件需求1

1.1.1 需求的定义与分类1

1.1.2 需求在软件开发中的位置4

1.2 什么是软件需求工程16

1.2.1 需求工程的定义17

1.2.2 需求工程的内容18

1.3 软件需求工程对航天型号任务的重要性20

第2章 航天软件需求工程概述25

2.1 航天软件需求工程上下文环境25

2.1.1 航天软件研制相关方及其职责25

2.1.2 航天系统工程和软件工程的工作内容26

2.2 国外航天相关标准规范38

2.2.1 NASA标准规范38

2.2.2 ESA标准规范41

2.3 基本术语说明46

第3章 软件需求开发49

3.1 需求开发流程49

3.2 通用需求获取方法51

3.2.1 面谈51

3.2.2 头脑风暴51

3.2.3 结构化研讨会52

3.3 用户需求开发52

3.3.1 任务目标定义53

3.3.2 操作概念开发53

3.3.3 技术需求分析65

3.3.4 系统分解65

3.3.5 设计方案定义与评估68

3.3.6 系统需求到软件需求的转换68

3.4 用户需求规格说明72

3.4.1 用户需求规格说明的原则72

3.4.2 用户需求规格说明的内容72

3.5 软件需求分析74

3.5.1 面向数据流的结构化分析方法75

3.5.2 面向数据结构的结构化分析方法97

3.5.3 面向对象分析方法104

3.5.4 形式化分析方法129

3.5.5 快速原型方法145

3.5.6 模型驱动开发方法150

3.6 软件需求规格说明159

3.6.1 软件需求规格说明原则159

3.6.2 软件需求规格说明内容160

3.6.3 自然语言规格说明162

3.6.4 结构化规格说明165

3.7 需求分析工具168

3.7.1 工具分类169

3.7.2 常见工具169

第4章 软件需求管理174

4.1 需求管理活动与要求174

4.2 需求标识与分类176

4.3 需求追踪176

4.3.1 需求追踪的内容177

4.3.2 需求追踪的表示方法178

4.3.3 需求追踪模型180

4.4 需求优先级排序185

4.4.1 需求优先级排序的定义186

4.4.2 需求优先级排序的过程186

4.4.3 需求优先级排序技术188

4.5 需求基线与变更管理193

4.5.1 配置管理193

4.5.2 需求基线196

4.5.3 需求变更控制197

4.6 需求管理相关工具198

4.6.1 需求管理工具198

4.6.2 配置管理工具200

第5章 软件需求的验证与确认202

5.1 验证与确认的定义和内容202

5.2 需求验证203

5.2.1 需求验证活动与要求204

5.2.2 需求验证方法205

5.3 需求确认210

5.3.1 需求确认活动与要求210

5.3.2 需求确认方法210

5.4 独立验证与确认212

第6章 软件安全需求开发与验证213

6.1 软件安全性的定义213

6.2 软件安全过程与活动214

6.3 系统级危险分析216

6.3.1 初步危险分析216

6.3.2 软件安全关键性评估220

6.3.3 软件安全工作计划225

6.4 软件安全需求分析227

6.4.1 通用软件安全性需求228

6.4.2 软件危险分析231

6.4.3 软件故障树分析234

6.4.4 软件失效模式与影响分析241

6.5 软件安全需求验证248

6.5.1 软件安全需求向下流动分析248

6.5.2 关键性分析249

6.5.3 需求规格说明分析251

6.5.4 形式化规约方法252

6.5.5 模型检测252

6.5.6 时间、吞吐量及空间分析254

6.5.7 软件需求的形式检查255

6.6 软件安全性追踪和变更安全性分析255

6.6.1 软件安全性追踪256

6.6.2 软件变更安全性分析256

第7章 软件需求质量管理与过程改进258

7.1 质量管理与过程改进基本概念258

7.1.1 软件质量观点258

7.1.2 过程改进主要标准260

7.2 基于软件需求的质量管理268

7.2.1 基于需求的质量定义268

7.2.2 质量监测框架270

7.2.3 质量测量过程271

7.3 需求过程改进273

7.3.1 需求过程改进的问题273

7.3.2 需求过程改进的方法274

参考文献281