《航天型号嵌入式软件验证技术与实践》分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。
在《航天型号嵌入式软件验证技术与实践》撰写过程中，参考了大量的相关资料，并结合多年的实践经验，力求内容具有实用性、针对性和可操作性。全书论述了航天嵌入式软件的验证过程和理论，并紧密结合实践，为了帮助读者更好地了解工程实践，书中详细列举了大量的丰富示例，给予读者一定的启发和帮助。
随着航天事业的快速发展，航天型号上应用的软件越来越多，其重要性也越来越高。软件可以说是航天型号的灵魂，它组成了航天型号的神经系统，与硬件协同工作，共同完成复杂的航天型号的各项功能。
经过多年的研究与工程实践，针对航天型号嵌入式软件形成了一套不断完善的验证技术，有效地提高了航天型号嵌入式软件的质量。本书分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。
在本书撰写过程中，参考了大量的相关资料，并结合多年的实践经验，力求内容具有实用性、针对性和可操作性。全书论述了航天嵌入式软件的验证过程和理论，并紧密结合实践，为了帮助读者更好地了解工程实践，书中详细列举了大量的丰富示例，给予读者一定的启发和帮助。
在本书的策划和成稿过程中，得到了航天软件评测中心许多同仁的关心与支持，其中，李福川、李敏、易加伟、王旋、李伟、刘鹏、宋晓秋、欧阳伶俐、罗春晖、孙晓睛、高艳鸱、谷文圆、盛晓娟、杨鹏飞、郑峰、孙建文、余方捷等人提出了宝贵的意见，在此，对他们表示衷心的感谢。
由于作者水平有限，书中难免有疏漏之处，敬请读者批评指正。
章 航天型号嵌入式软件概述
1．1 嵌入式软件工作原理
1．□ 嵌入式软件在航天型号中的应用和特点
1．□．1 安全性要求严
1．□．□ 可靠性要求高
1．□．3 实时性要求强
1．□．4 资源约束多
1．□．5 软件规模大
1．3 典型运行环境和典型开发环境
1．3．1 嵌入式微处理器
1．3．□ 嵌入式微控制器
1．3．3 嵌入式DSP
1．3．4 嵌入式片上系统（SoC）
1．3．5 典型开发环境
1．4 典型接口
第□章 航天型号嵌入式软件开发通用要求
□．1 软件研制流程
□．1．1 总体设计
□．1．□ 分系统设计
□．1．3 软件开发
□．1．4 系统联调
□．1．5 软件验收
□．1．6 软件维护
□．□ 软件工程化管理
□．□．1 评审
□．□．□ 配置管理
□．□．3 软件测试与验证要求
□．□．4 质量保证
□．□．5 风险管理
□．□．6 质量问题归零
第3章 航天型号嵌入式软件测试要求
3．1 一般要求
3．1．1 软件测试目的
3．1．□ 软件测试阶段
3．1．3 第三方测试
3．1．4 软件测试方法和类型
3．1．5 软件测试活动
3．□ 详细要求
3．□．1 单元测试阶段
3．□．□ 部件测试阶段
3．□．3 配置项测试阶段
3．□．4 软硬件集成测试阶段
3．□．5 系统测试阶段
3．3 测试文档的技术要点
3．3．1 单元测试报告
3．3．□ 部件测试报告
3．3．3 软件配置项测试计划
3．3．4 软件配置项测试说明
3．3．5 软件配置项测试报告
3．3．6 软硬件集成测试报告
3．3．7 系统测试报告
……
第4章 航天型号嵌入式软件测试技术
第5章 航天型号嵌入式软件验证实践与经验
第6章 航天型号嵌入式软件验证展望
书单推荐
