- 航天型号嵌入式软件验证技术与实践
- - 作者：编者:祝宇//张幼春//杨波//王新颖|责编:侯丽平
  - 出版社：中国宇航
  - ISBN：9787515919683
  - 出版日期：2022/03/01
  - 页数：178
- 售价：35.2

内容大纲
经过多年的研究与工程实践，针对航天型号嵌入式软件形成了一套不断完善的验证技术，有效地提高了航天型号嵌入式软件的质量。本书分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。
在本书撰写过程中，参考了大量的相关资料，并结合多年的实践经验，力求内容具有实用性、针对性和可操作性。全书论述了航天嵌入式软件的验证过程和理论，并紧密结合实践，为了帮助读者更好地了解工程实践，书中详细列举了大量的丰富示例，给予读者一定的启发和帮助。
作者介绍
目录
第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章  航天型号嵌入式软件测试技术
  4.1  静态测试方法
    4.1.1  文档审查
    4.1.2  代码审查
    4.1.3  代码走查
    4.1.4  静态分析
  4.2  动态测试方法
    4.2.1  白盒测试用例设计方法
    4.2.2  黑盒测试用例设计方法
  4.3  测试工具
    4.3.1  静态测试工具
    4.3.2  动态测试工具
    4.3.3  其他测试工作辅助工具
  4.4  测试环境
    4.4.1  嵌入式软件仿真测试环境
    4.4.2  实装测试环境
第5章  航天型号嵌入式软件验证实践与经验
  5.1  软件测试标准与规范
  5.2  项目测试流程
    5.2.1  项目建立
    5.2.2  测试需求分析
    5.2.3  测试策划
    5.2.4  测试设计和实现
    5.2.5  测试执行
    5.2.6  回归测试
    5.2.7  测试总结
    5.2.8  交付
  5.3  典型处理器的软件测试设计
    5.3.1  要求的测试类型
    5.3.2  测试用例设计方法
    5.3.3  测试项示例
    5.3.4  测试用例示例
  5.4  典型接口的测试经验
    5.4.1  GJB289A（MIL-STD-1553B）通信总线测试经验
    5.4.2  CAN总线测试经验
    5.4.3  RS-485通信总线测试经验
    5.4.4  RS-422总线测试经验
  5.5  嵌入式软件中断分析
  5.6  安全性分析
    5.6.1  软件故障树分析
    5.6.2  软件失效模式影响和关键性分析
  5.7  可靠性测试
    5.7.1  可靠性度量参数
    5.7.2  可靠性参数选择
    5.7.3  可靠性测试环境
    5.7.4  可靠性验证测试
    5.7.5  小结
第6章  航天型号嵌入式软件验证展望
  6.1  智能化软件的测试

  6.2  软件的智能化测试
附录A  典型软件缺陷
附录B  航天型号软件第三方测评的由来
参考文献

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目