注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书科学技术计算机/网络硬件、外部设备与维护嵌入式软件系统测试:基于形式化方法的自动化测试解决方案

嵌入式软件系统测试:基于形式化方法的自动化测试解决方案

嵌入式软件系统测试:基于形式化方法的自动化测试解决方案

定 价:¥79.00

作 者: 殷永峰,姜博 著
出版社: 机械工业出版社
丛编项:
标 签: 暂缺

购买这本书可以去


ISBN: 9787111672425 出版时间: 2021-03-01 包装: 平装
开本: 16开 页数: 252 字数:  

内容简介

  本书总结了作者多年的嵌入式软件系统测试的工程实践经验,基于形式化方法,提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手,介绍嵌入式软件工程及管理方法,讨论嵌入式软件系统测试理论及测试环境构建等技术,并结合航电系统嵌入式软件测试实例,为实现自动化测试提供有效的解决方案。本书既适合从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员阅读,也适合高等院校计算机、软件工程、嵌入式系统等专业的学生参考。

作者简介

暂缺《嵌入式软件系统测试:基于形式化方法的自动化测试解决方案》作者简介

图书目录

暂缺《嵌入式软件系统测试:基于形式化方法的自动化测试解决方案》目录

本目录推荐