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

第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章 航天型号嵌入式软件验证展望 附录 参考文献