扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
湖南省志(1978-2002)?铁路志
-
>
公路车宝典(ZINN的公路车维修与保养秘籍)
-
>
晶体管电路设计(下)
-
>
基于个性化设计策略的智能交通系统关键技术
-
>
德国克虏伯与晚清火:贸易与仿制模式下的技术转移
-
>
花样百出:贵州少数民族图案填色
-
>
识木:全球220种木材图鉴
航天型号嵌入式软件验证技术与实践 版权信息
- ISBN:9787515919683
- 条形码:9787515919683 ; 978-7-5159-1968-3
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>
航天型号嵌入式软件验证技术与实践 内容简介
《航天型号嵌入式软件验证技术与实践》分别从航天型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述航天型号嵌入式软件的验证现状。 在《航天型号嵌入式软件验证技术与实践》撰写过程中,参考了大量的相关资料,并结合多年的实践经验,力求内容具有实用性、针对性和可操作性。全书论述了航天嵌入式软件的验证过程和理论,并紧密结合实践,为了帮助读者更好地了解工程实践,书中详细列举了大量的丰富示例,给予读者一定的启发和帮助。
航天型号嵌入式软件验证技术与实践 目录
第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章 航天型号嵌入式软件验证展望
附录
参考文献
展开全部
书友推荐
- >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥15.1¥45.8 - >
经典常谈
经典常谈
¥27.9¥39.8 - >
推拿
推拿
¥12.2¥32.0 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥9.1¥24.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8
本类畅销
-
迷蒙星空-探天之路
¥14.5¥39 -
飞天起航
¥13.9¥35 -
航空工业出版社遥控模型飞机系列遥控像真模型飞机入门
¥20.2¥48 -
航天器自主导航技术
¥39.1¥112 -
国家出版基金 中国航天的历史使命
¥22.8¥68 -
航空超高强度钢的发展
¥25.9¥58