返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
电子系统设计
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：
作者:"殷永峰, 姜博"
出版年:"20210101"
嵌入式软件系统测试: 基于形式化方法的自动化测试解决方案
:殷永峰, 姜博
作者：
殷永峰, 姜博
出版社：
机械工业出版社
出版时间：
20210101
ISBN：
978-7-111-67242-5
索书号：
TP311.5/850
分类号：
TP311.5
页数：
241页
价格：
CNY79.00
丛书：
电子与嵌入式系统设计丛书
复本数：
在馆数：
累借天数：
累借次数：
本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
机械工业出版社
(
1
)
只显示前10条......
机械工业出版社
(
1
)
查看更多信息......
作者
殷永峰, 姜博
(
1
)
只显示前10条......
殷永峰, 姜博
(
1
)
查看更多信息......
出版年
20210101
(
1
)
只显示前10条......
20210101
(
1
)
查看更多信息......
电子系统设计
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：