航天型号嵌入式软件验证技术与实践

　　《航天型号嵌入式软件验证技术与实践》分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。在《航天型号嵌入式软件验证技术与实践》撰写过程中，参考了大量的相关资料，并结合多年的实践经验，力求内容具有实用性、针对性和可操作性。全书论述了航天嵌入式软件的验证过程和理论，并紧密结合实践，为了帮助读者更好地了解工程实践，书中详细列举了大量的丰富示例，给予读者一定的启发和帮助。

暂缺《航天型号嵌入式软件验证技术与实践》作者简介

第1章 航天型号嵌入式软件概述
1．1 嵌入式软件工作原理
1．2 嵌入式软件在航天型号中的应用和特点
1．2．1 安全性要求严
1．2．2 可靠性要求高
1．2．3 实时性要求强
1．2．4 资源约束多
1．2．5 软件规模大
1．3 典型运行环境和典型开发环境
1．3．1 嵌入式微处理器
1．3．2 嵌入式微控制器
1．3．3 嵌入式DSP
1．3．4 嵌入式片上系统（SoC）
1．3．5 典型开发环境
1．4 典型接口
第2章 航天型号嵌入式软件开发通用要求
2．1 软件研制流程
2．1．1 总体设计
2．1．2 分系统设计
2．1．3 软件开发
2．1．4 系统联调
2．1．5 软件验收
2．1．6 软件维护
2．2 软件工程化管理
2．2．1 评审
2．2．2 配置管理
2．2．3 软件测试与验证要求
2．2．4 质量保证
2．2．5 风险管理
2．2．6 质量问题归零
第3章 航天型号嵌入式软件测试要求
3．1 一般要求
3．1．1 软件测试目的
3．1．2 软件测试阶段
3．1．3 第三方测试
3．1．4 软件测试方法和类型
3．1．5 软件测试活动
3．2 详细要求
3．2．1 单元测试阶段
3．2．2 部件测试阶段
3．2．3 配置项测试阶段
3．2．4 软硬件集成测试阶段
3．2．5 系统测试阶段
3．3 测试文档的技术要点
3．3．1 单元测试报告
3．3．2 部件测试报告
3．3．3 软件配置项测试计划
3．3．4 软件配置项测试说明
3．3．5 软件配置项测试报告
3．3．6 软硬件集成测试报告
3．3．7 系统测试报告
……
第4章 航天型号嵌入式软件测试技术
第5章 航天型号嵌入式软件验证实践与经验
第6章 航天型号嵌入式软件验证展望
附录
参考文献