书目详细信息
： 嵌入式软件系统测试:基于形式化方法的自动化测试解决方案
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-111-67242-5:CNY79.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 嵌入式软件系统测试/.殷永峰, 姜博编著 |
| 出版发行项： | 北京:,机械工业出版社:,2021 |
| 载体形态项： | 241页:;+图:;+24cm |
| 丛编项： | 电子与嵌入式系统设计丛书 |
| 提要文摘： | 本书总结了作者多年的嵌入式软件系统测试的工程实践经验, 基于形式化方法, 提出了完整的自动化测试解决方案。全书从嵌入式系统的分类和特点入手, 介绍嵌入式软件工程及管理方法, 讨论嵌入式软件系统测试理论及测试环境构建等技术, 并结合航电系统嵌入式软件测试实例, 为实现自动化测试提供有效的解决方案。 |
| 题名主题： | 软件 测试 |
| 中图分类： | TP311.55 |
| 个人名称等同： | 殷永峰 编著 |
| 个人名称等同： | 姜博 编著 |
| 记录来源： | CN 湖北三新 20220630 |