《航天型号嵌入式软件验证技术与实践》 - 祝宇，张幼春，杨波，王新颖著 - 中国宇航出版社 - 香港大書城 - Meg Book Store

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

會員書架精選

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

五月出版：大陸書台灣書
四月出版：大陸書台灣書
三月出版：大陸書台灣書
二月出版：大陸書台灣書
一月出版：大陸書台灣書
12月出版：大陸書台灣書
11月出版：大陸書台灣書
十月出版：大陸書台灣書
九月出版：大陸書台灣書
八月出版：大陸書台灣書
七月出版：大陸書台灣書
六月出版：大陸書台灣書
五月出版：大陸書台灣書
四月出版：大陸書台灣書
三月出版：大陸書台灣書

『簡體書』航天型号嵌入式软件验证技术与实践

書城自編碼： 3832667
分類：簡體書→大陸圖書→工業技術→航空/航天
作者：祝宇，张幼春，杨波，王新颖著
國際書號(ISBN)： 9787515919683
出版社：中国宇航出版社
出版日期： 2023-03-01

頁數/字數： /
書度/開本： 16开釘裝：平装

售價：HK$ 101.2

我要買件

share:

** 我創建的書架 **
未登入.

新書推薦：

中国近现代媒介批评史（1815-1949）

《中国近现代媒介批评史（1815-1949）》
售價：HK$ 548.9

透过地理看历史全5套：战国篇+春秋篇+历史篇+大航海+三国篇

《透过地理看历史全5套：战国篇+春秋篇+历史篇+大航海+三国篇》
售價：HK$ 451.0

稻盛和夫与论语

《稻盛和夫与论语》
售價：HK$ 59.4

乐观和爱才是生活的解药（名取芳彦继《别想太多啦》后全新治愈新作！解锁心灵钝感力，掌握幸福密码，生活少一些在意，日子多一些顺利。）

《乐观和爱才是生活的解药（名取芳彦继《别想太多啦》后全新治愈新作！解锁心灵钝感力，掌握幸福密码，生活少一些在意，日子多一些顺利。）》
售價：HK$ 65.9

不败：避开创业路上的81个坑（厚朴投资创始人李书文写给创业者的避坑指南。不败即可稳赢）

《不败：避开创业路上的81个坑（厚朴投资创始人李书文写给创业者的避坑指南。不败即可稳赢）》
售價：HK$ 65.8

运动防护师职业操作指南运动损伤的预防评估与恢复（第4版）

《运动防护师职业操作指南运动损伤的预防评估与恢复（第4版）》
售價：HK$ 228.8

长寿从呼吸开始

《长寿从呼吸开始》
售價：HK$ 43.8

造物须臾（“郁达夫小说奖”同名小说集，一份薛定谔的生活指南：打开它，找到世界无限重启的开关）

《造物须臾（“郁达夫小说奖”同名小说集，一份薛定谔的生活指南：打开它，找到世界无限重启的开关）》
售價：HK$ 53.9

建議一齊購買：

+

HK$ 207.0
《飞行器实验力学》

+

HK$ 123.8
《航空智能制造装备技术》

+

HK$ 138.0
《地面装备信息化技术及发展（航天电子技术与应用前沿）》

+

HK$ 172.5
《微小卫星轨道工程应用与STK仿真》

+

HK$ 276.0
《航空发动机机械系统设计》

+

HK$ 53.7
《我是怎样设计飞机的：美国飞机设计师凯利·约翰逊自传》

內容簡介：

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

目錄：

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

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户

megBook.com.hk

Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.