书目信息 机读格式(MARC)
嵌入式软件系统测试:基于形式化方法的自动化测试解决方案
| ISBN/价格： | 978-7-111-67242-5:CNY79.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 嵌入式软件系统测试/.殷永峰，姜博编著 |
| 出版发行项： | 北京:,机械工业出版社:,2021.02 |
| 载体形态项： | 241页:;+图:;+24cm |
| 丛编项： | 电子与嵌入式系统设计丛书 |
| 一般附注： | 华章IT |
| 提要文摘： | 本书内容包括：嵌入式系统及软件；嵌入式软件工程与质量特性；基于形式化方法的嵌入式软件系统测试技术；实时嵌入式软件自动化测试描述技术；智能终端应用软件系统测试技术等。 |
| 题名主题： | 软件 测试 |
| 中图分类： | TP311.55 |
| 个人名称等同： | 殷永峰 编著 |
| 个人名称等同： | 姜博 编著 |
| 记录来源： | CN 人天书店 20210325 |