本书重点介绍了软件工程化的相关理论、方法、过程、模型以及机载软件适航审查的相关标准、过程、方法。其中,软件工程化理论与实践部分主要介绍了软件工程的基本原理、软件生命周期的基本模型以及软件需求分析、设计、测试、维护的相关方法,在实践部分主要对配置管理过程和质量保证过程进行系统介绍,结合具体过程,给出了相应的文档编写模板以及各类过程的评审检查单,便于广大读者在软件开发实际工作中借鉴和应用;机载软件适航审
查理论与实践部分主要介绍了机载软件适航的理论、机载软件适航的标准、机载软件适航审查的过程和方法,给出了机载软件适航审查的流程、方法以及各个审查阶段应满足的目标,从而为机载软件适航审查人员在具体的审查工作中提供指导和帮助。本书的实践性较强、适用面较广,可作为高等院校软件工程、计算机技术及信息技术等专业本科生和研究生学习软件工程的教材,也可以作为软件工程人员以及软件适航审查人员从事软件开发管理以及软件适航审查等工作的参考资料。
全部显示 ∨
全部显示 ∨
第1章 软件工程化引论71.1 软件危机的产生7
1.2 软件工程基础8
1.3 本章小结37
第2章 软件生命周期及开发模型382.1 软件生命周期概述38
2.2 软件生命周期模型40
2.3 软件过程46
2.4 本章小结48
第3章 软件需求分析方法503.1 软件需求分析概述50
3.2 软件需求获取54
3.3 结构化需求分析58
3.4 面向对象需求分析59
3.5 本章小结81
第4章 软件设计方法824.1 软件设计概述82
4.2 软件设计原理85
4.3 软件架构设计87
4.4 软件详细设计96
4.5 本章小结105
第5章 软件测试与维护技术1065.1 软件测试概述106
5.2 软件测试技术109
5.3 系统测试及方法116
5.4 软件维护概述121
5.5 软件维护的类型123
5.6 软件维护的过程124
5.7 本章小结133
第6章 软件工程化实践1356.1 软件过程管理135
6.2 软件配置管理166
6.3 软件质量保证管理195
6.4 军事代表在军用软件质量监督中的职责244
6.5 本章小结250
第7章 机载软件适航概述2517.1 机载计算机及机载软件251
7.2 机载软件适航要求257
7.3 机载软件安全性与可靠性258
7.4 DO-178B标准介绍266
7.5 DO-178B应用介绍271
7.6 本章小结291
第8章 机载软件计划过程及适航审查2938.1 计划过程概述293
8.2 计划文档的适航审查要求296
8.3 软件合格审查计划297
8.4 软件开发计划308
8.5 软件验证计划314
8.6 软件配置管理计划325
8.7 软件质量保证计划331
8.8 本章小结337
第9章 机载软件验证过程及适航审查3389.1 软件验证过程概述338
9.2 评审和分析340
9.3 测试过程342
9.4 结构覆盖346
9.5 验证独立性350
9.6 数据耦合和控制耦合354
9.7 本章小结356
第10章 机载软件构型管理过程、质量保证过程及适航审查35710.1 构型管理过程357
10.2 质量保证过程363
10.3 本章小结368
第11章 机载软件合格审查过程36911.1 合格审查过程概述369
11.2 软件合格审查的实施过程和工具369
11.3 软件生命周期资料378
11.4 本章小结385