航天型号软件工程【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

航天型号软件工程PDF格式电子书版下载

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

第1章 航天型号软件与软件工程概述1

1.1 概述1

1.1.1 软件概述1

1.1.2 航天软件及航天型号软件的组成及特点2

1.1.3 航天型号软件的关键性划分原则4

1.2 软件工程的基本原则及工作内容5

1.2.1 软件工程与系统工程5

1.2.2 软件工程的工作内容6

1.2.3 软件能力成熟度模型8

1.3 航天型号软件工程化12

1.3.1 软件设计与系统设计的关系12

1.3.2 航天型号软件研制的分阶段过程12

1.3.3 型号软件研制各阶段的技术工作14

1.4 型号软件研制的组织与管理18

1.4.1 型号软件研制的组织与职责18

1.4.2 型号软件研制的策划19

1.4.3 型号软件研制各阶段的管理任务19

1.5 本章小结23

第2章 软件需求分析24

2.1 概述24

2.1.1 软件需求分析阶段的目的和任务24

2.1.2 软件需求分析的重要性24

2.2 软件任务书的一般要求25

2.2.1 系统需求分析与设计阶段与软件任务书有关的任务25

2.2.2 软件任务书的基本要求26

2.2.3 软件任务书的格式及内容要求27

2.3 软件需求分析的工作过程28

2.3.1 需求信息的获取和记录29

2.3.2 需求规格说明的编写30

2.3.3 需求规格说明的检查与确认31

2.3.4 需求评审31

2.3.5 需求分析管理31

2.4 编写“软件需求规格说明”的要求31

2.4.1 需求规格说明的主要内容31

2.4.2 “软件需求规格说明”的格式32

2.4.3 需求规格说明的质量要求42

2.5 软件需求的编写要点42

2.5.1 功能需求的编写42

2.5.2 性能需求的编写46

2.5.3 可靠性需求和安全性需求的编写47

2.6 软件需求文档中经常出现的问题47

2.6.1 一般问题47

2.6.2 软件功能方面的问题47

2.6.3 需求中实体方面的问题47

2.6.4 性能需求方面的问题47

2.6.5 安全性、可靠性方面的问题48

2.7 “软件需求规格说明”的检查和验证方法48

2.7.1 人工检查48

2.7.2 采用结构化方法检查50

2.7.3 采用仿真模型检查51

2.7.4 采用形式化方法检查51

2.8 本章小结52

第3章 软件概要设计53

3.1 概述53

3.2 结构化设计的概念和原则54

3.2.1 抽象与细化求精54

3.2.2 模块化与信息隐蔽54

3.2.3 有效的模块设计——模块独立性54

3.2.4 软件的体系结构57

3.2.5 程序结构57

3.3 概要设计阶段的工作过程57

3.3.1 复核并理解软件需求文档58

3.3.2 建立物理模型58

3.3.3 编写概要设计说明59

3.3.4 编写组装测试初步计划59

3.3.5 概要设计阶段评审59

3.4 软件的结构化设计的图形工具60

3.4.1 HIPO图60

3.4.2 结构图60

3.4.3 状态转移表60

3.5 面向数据流的设计方法61

3.5.1 变换型结构映射61

3.5.2 事务型结构映射63

3.5.3 优化程序结构设计64

3.6 实时嵌入式系统软件的设计66

3.6.1 实时系统概述66

3.6.2 任务调度策略68

3.6.3 实时系统的软件任务结构化设计71

3.7 概要设计的质量要求73

3.8 概要设计文档的基本内容74

3.8.1 GB/T 8567-2006格式的“软件概要设计说明”模板74

3.8.2 QJ 1912.7-2003格式的“软件概要设计说明”的内容安排78

3.9 本章小结80

第4章 软件详细设计与实现81

4.1 概述81

4.1.1 详细设计的基本概念81

4.1.2 详细设计的任务和内容81

4.1.3 详细设计文档的用途82

4.1.4 详细设计的质量要求82

4.2 详细设计工作过程83

4.2.1 理解概要设计83

4.2.2 细化软件部件，形成软件单元83

4.2.3 规定软件单元间接口84

4.2.4 设计算法和细节84

4.2.5 进行过程描述84

4.2.6 进行可靠性、安全性设计84

4.2.7 编写详细设计说明84

4.2.8 编写初步单元测试计划84

4.2.9 建立并填写单元开发卷宗85

4.2.10 详细设计评审85

4.3 详细设计方法和技术85

4.3.1 结构化程序设计（简称SP方法）85

4.3.2 软件可靠性、安全性设计86

4.3.3 详细设计工具86

4.4 详细设计文档格式91

4.5 软件实现的任务与过程91

4.5.1 理解“详细设计”92

4.5.2 编程和编译／汇编92

4.5.3 代码调试93

4.5.4 静态分析与单元测试93

4.5.5 安全性关键单元检查和评审93

4.6 软件实现的技术和方法93

4.6.1 结构化编程方法93

4.6.2 一般软件的编程规则94

4.6.3 安全性关键软件的编程规则98

4.6.4 “航天器软件编程约定”简介98

4.7 编程的质量要求99

4.8 本章小结99

第5章 软件测试100

5.1 概述100

5.1.1 软件测试的基本概念100

5.1.2 软件测试的基本原则100

5.1.3 软件测试的重要性和局限性101

5.2 各软件研制阶段的测试活动及要求102

5.2.1 软件测试的基本活动102

5.2.2 单元测试105

5.2.3 组装测试107

5.2.4 确认测试108

5.2.5 第三方独立确认测试109

5.2.6 系统联试110

5.2.7 回归测试111

5.2.8 其他阶段的测试113

5.3 主要测试内容113

5.3.1 功能测试114

5.3.2 性能测试115

5.3.3 边界测试和余量测试116

5.3.4 强度测试116

5.3.5 可靠性测试和安全性测试117

5.3.6 其他常见测试类型117

5.4 软件测试技术及工具117

5.4.1 静态测试技术118

5.4.2 测试用例设计技术119

5.4.3 测试覆盖率分析技术121

5.4.4 嵌入式测试环境搭建技术123

5.4.5 软件测试工具与环境123

5.5 测试质量的控制125

5.5.1 测试过程的控制要素125

5.5.2 测试机构的组织管理126

5.5.3 测试组织的测试能力成熟度模型126

5.6 本章小结128

第6章 软件验收、交付与维护129

6.1 概述129

6.2 软件产品的验收和交付129

6.2.1 验收的级别和条件129

6.2.2 验收和交付过程129

6.2.3 软件研制报告132

6.3 软件定型133

6.3.1 软件定型的级别133

6.3.2 软件定型程序133

6.4 软件维护136

6.4.1 软件维护的相关知识136

6.4.2 航天型号软件维护的一般要求138

6.4.3 软件可维护性139

6.4.4 提高软件可维护性的方法140

6.4.5 软件维护的过程142

6.5 星载软件的在轨维护问题144

6.6 软件维护的其他问题145

6.6.1 维护工具145

6.6.2 软件维护与软件重新设计145

6.7 程序维护手册文档145

6.8 本章小结145

第7章 软件可靠性与安全性146

7.1 概述146

7.1.1 软件可靠性146

7.1.2 软件安全性147

7.1.3 软件可靠性与软件安全性147

7.1.4 软件的可靠性和安全性与其他产品的可靠性和安全性148

7.2 软件失效机理与软件可靠性和安全性措施150

7.2.1 软件失效机理150

7.2.2 软件可靠性和安全性措施152

7.3 软件研制各阶段的软件可靠性和安全性要求154

7.3.1 系统需求分析和设计阶段154

7.3.2 软件需求分析阶段155

7.3.3 软件概要设计阶段156

7.3.4 软件详细设计阶段157

7.3.5 软件实现阶段158

7.3.6 软件集成和验收测试阶段158

7.3.7 软件运行和维护阶段159

7.4 软件可靠性和安全性方法159

7.4.1 故障树分析（SFTA）159

7.4.2 软件故障模式及影响分析（SFMEA）162

7.4.3 恢复块166

7.4.4 数据冗余167

7.4.5 软件可靠性和安全性设计检查单168

7.4.6 软件可靠性度量171

7.4.7 软件可靠性评价178

7.5 本章小结180

第8章 软件配置管理181

8.1 概述181

8.1.1 配置和配置管理181

8.1.2 配置管理的基本要求182

8.1.3 基线182

8.1.4 配置管理库183

8.1.5 配置管理的组织结构和职责183

8.1.6 配置管理工具184

8.2 配置管理活动184

8.2.1 配置标识184

8.2.2 配置控制186

8.2.3 配置记录和状态报告188

8.2.4 配置审核（审计）188

8.2.5 产品发放及其他189

8.3 配置管理计划189

8.3.1 配置管理计划的必要性189

8.3.2 配置管理计划格式189

8.4 本章小结194

第9章 软件工程环境198

9.1 概述198

9.2 软件工程环境的构成198

9.2.1 软件工程环境的主要组成及其关系198

9.2.2 软件工程环境主要构成工具介绍199

9.3 软件工程环境的集成和应用203

9.3.1 软件工程环境的集成203

9.3.2 软件工程环境的应用204

9.4 本章小结205

第10章 软件产品保证206

10.1 概述206

10.2 软件产品保证管理206

10.2.1 工作体系206

10.2.2 组织和职责207

10.2.3 软件产品保证程序207

10.2.4 软件问题报告系统209

10.2.5 风险管理和关键项控制210

10.2.6 外协单位的控制210

10.2.7 评估和改进过程210

10.3 软件产品过程保证211

10.3.1 软件生存周期211

10.3.2 适用于所有软件工程过程的产品保证211

10.3.3 适用于单个软件工程过程的产品保证214

10.3.4 培训217

10.4 软件产品质量保证218

10.4.1 产品质量需求218

10.4.2 产品度量219

10.4.3 验证和确认219

10.4.4 评审220

10.4.5 软件质量与可靠性数据包223

10.4.6 质量数据收集分析223

10.5 本章小结223

第11章 航天型号软件工程发展展望224

11.1 概述224

11.2 航天型号软件工程发展动态224

11.2.1 推进软件产品化224

11.2.2 全面保证软件可信性与安全性225

11.2.3 广泛采用工具环境225

11.2.4 实施基于CMMI的过程改进225

11.3 用系统工程方法提升航天软件工程化水平226

11.3.1 开展型号信息系统总体分析与设计226

11.3.2 加强软件工程的系统管理226

11.3.3 系统提高软件工程技术水平227

11.4 本章小结227

附录 缩略语列表228

参考文献230