搜索
高级检索
我的书架 0
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N：
文献来源：
出版时间 :
搜索
嵌入式软件系统测试：基于形式化方法的自动化测试解决方案
￥0.00     定价 ￥ 79.00
图书来源: 浙江图书馆(由JD配书)
此书还可采购15本，持证读者免费借回家
  • 配送范围:
    浙江省内
  • ISBN：
    9787111672425
  • 作      者：
    殷永峰，姜博
  • 出 版 社 ：
    机械工业出版社
  • 出版日期：
    2021-03-01
收藏
畅销推荐
内容介绍
本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为实现自动化测试提供有效的解决方案。本书既适合从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员阅读，也适合高等院校计算机、软件工程、嵌入式系统等专业的学生参考。
展开
加入书架成功！
继续借书 去结算
收藏图书成功！
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证？在线办证
©广州图创计算机软件开发有限公司