登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入   新用戶註冊
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / 物流,時效:出貨後2-4日

2025年09月出版新書

2025年08月出版新書

2025年07月出版新書

2025年06月出版新書

2025年05月出版新書

2025年04月出版新書

2025年03月出版新書

2025年02月出版新書

2025年01月出版新書

2024年12月出版新書

2024年11月出版新書

2024年10月出版新書

2024年09月出版新書

2024年08月出版新書

2024年07月出版新書

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

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

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

售價:NT$ 449

我要買

share:

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



新書推薦:
50岁后的家庭生活:中老年人的日常活动、家务劳动与孩童照料
《 50岁后的家庭生活:中老年人的日常活动、家务劳动与孩童照料 》

售價:HK$ 653
《正义论》导读 壹卷Yebook 理解《正义论》关于哲学、科学、社会、历史和人类未来的批判性思考
《 《正义论》导读 壹卷Yebook 理解《正义论》关于哲学、科学、社会、历史和人类未来的批判性思考 》

售價:HK$ 418
万物皆有时:中世纪的时间与生活
《 万物皆有时:中世纪的时间与生活 》

售價:HK$ 449
英特纳雄耐尔——《国际歌》的诞生与中国革命
《 英特纳雄耐尔——《国际歌》的诞生与中国革命 》

售價:HK$ 857
心悦读丛书·善与恶的距离:日常生活中的伦理学
《 心悦读丛书·善与恶的距离:日常生活中的伦理学 》

售價:HK$ 347
崇祯七十二小时  大明王朝的最后时刻【万有引力书系】
《 崇祯七十二小时 大明王朝的最后时刻【万有引力书系】 》

售價:HK$ 398
跟着TED学科学:物理
《 跟着TED学科学:物理 》

售價:HK$ 255
希特勒与第三帝国(全二册)(第三帝国通史写作的里程碑!7年魔鬼养成期+6年帝国崩塌录=13年人类至暗
《 希特勒与第三帝国(全二册)(第三帝国通史写作的里程碑!7年魔鬼养成期+6年帝国崩塌录=13年人类至暗 》

售價:HK$ 959

內容簡介:
《□□型号嵌入式软件验证技术与实践》分别从□□型号嵌入式软件概述、软件开发通用要求、软件测试要求、软件测试技术、软件验证实践与经验、软件验证展望等角度描述□□型号嵌入式软件的验证现状。
  在《□□型号嵌入式软件验证技术与实践》撰写过程中,参考了大量的相关资料,并结合多年的实践经验,力求内容具有实用性、针对性和可操作性。全书论述了□□嵌入式软件的验证过程和理论,并紧密结合实践,为了帮助读者更好地了解工程实践,书中详细列举了大量的丰富示例,给予读者一定的启发和帮助。
目錄
第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.tw
Copyright (C) 2013 - 2025 (香港)大書城有限公司 All Rights Reserved.