导语

  

内容提要

  

    王焕彬、崔利杰主编的《软件工程化与机载软件适航审查实践》重点介绍了软件工程化的相关理论、方法、过程、模型以及机载软件适航审查的相关标准、过程、方法。其中，软件工程化理论与实践部分主要介绍了软件工程的基本原理、软件生命周期的基本模型以及软件需求分析、设计、测试、维护的相关方法，在实践部分主要对配置管理过程和质量保证过程进行系统介绍，结合具体过程，给出了相应的文档编写模板以及各类过程的评审检查单，便于广大读者在软件开发实际工作中借鉴和应用；机载软件适航审查理论与实践部分主要介绍了机载软件适航的理论、机载软件适航的标准、机载软件适航审查的过程和方法，给出了机载软件适航审查的流程、方法以及各个审查阶段应满足的目标，从而为机载软件适航审查人员在具体的审查工作中提供指导和帮助。
    本书的实践性较强、适用面较广，可作为高等院校软件工程、计算机技术及信息技术等专业本科生和研究生学习软件工程的教材，也可以作为软件工程人员以及软件适航审查人员从事软件开发管理以及软件适航审查等工作的参考资料。

第1章  软件工程化引论
  1.1  软件危机的产生
  1.2  软件工程基础
  1.3  本章小结
第2章  软件生命周期及开发模型
  2.1  软件生命周期概述
  2.2  软件生命周期模型
  2.3  软件过程
  2.4  本章小结
第3章  软件需求分析方法
  3.1  软件需求分析概述
  3.2  软件需求获取
  3.3  结构化需求分析
  3.4  面向对象需求分析
  3.5  本章小结
第4章  软件设计方法
  4.1  软件设计概述
  4.2  软件设计原理
  4.3  软件架构设计
  4.4  软件详细设计
  4.5  本章小结
第5章  软件测试与维护技术
  5.1  软件测试概述
  5.2  软件测试技术
  5.3  系统测试及方法
  5.4  软件维护概述
  5.5  软件维护的类型
  5.6  软件维护的过程
  5.7  本章小结
第6章  软件工程化实践
  6.1  软件过程管理
  6.2  软件配置管理
  6.3  软件质量保证管理
  6.4  军事代表在军用软件质量监督中的职责
  6.5  本章小结
第7章  机载软件适航概述
  7.1  机载计算机及机载软件
  7.2  机载软件适航要求
  7.3  机载软件安全性与可靠性
  7.4  DO～178B标准介绍
  7.5  DO～178B应用介绍
  7.6  本章小结
第8章  机载软件计划过程及适航审查
  8.1  计划过程概述
  8.2  计划文档的适航审查要求
  8.3  软件合格审查计划
  8.4  软件开发计划
  8.5  软件验证计划
  8.6  软件配置管理计划
  8.7  软件质量保证计划
  8.8  本章小结
第9章  机载软件验证过程及适航审查
  9.1  软件验证过程概述
  9.2  评审和分析
  9.3  测试过程
  9.4  结构覆盖
  9.5  验证独立性
  9.6  数据耦合和控制耦合
  9.7  本章小结
第10章  机载软件构型管理过程、质量保证过程及适航审查
  10.1  构型管理过程
  10.2  质量保证过程
  10.3  本章小结
第11章  机载软件合格审查过程
  11.1  合格审查过程概述
  11.2  软件合格审查的实施过程和工具
  11.3  软件生命周期资料
  11.4  本章小结
参考文献