书目信息 |
| 题名： |
嵌入式软件系统测试
|
|
| 作者： | 殷永峰 ， 姜博 编著 | |
| 分册： | ||
| 出版信息： | 北京 机械工业出版社 2021 |
|
| 页数： | 241页 | |
| 开本： | 24cm | |
| 丛书名： | 电子与嵌入式系统设计丛书 | |
| 单 册： | ||
| 中图分类： | TP311.5 | |
| 科图分类： | ||
| 主题词： | 软件--测试 | |
| 电子资源： | ||
| ISBN： | 978-7-111-67242-5 | |
| 000 | 01233nam0 2200277 450 | |
| 001 | 218481925 | |
| 005 | 20211107094909.64 | |
| 010 | @a978-7-111-67242-5@dCNY79.00 | |
| 049 | @aA340000AHL@bUCS01010430091@c1900834411 | |
| 100 | @a20210510d2021 em y0chiy0110 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @ay z 001yy | |
| 200 | 1 | @a嵌入式软件系统测试@9qian ru shi ruan jian xi tong ce shi@b专著@e基于形式化方法的自动化测试解决方案@f殷永峰，姜博编著 |
| 210 | @a北京@c机械工业出版社@d2021 | |
| 215 | @a241页@d24cm | |
| 225 | 1 | @a电子与嵌入式系统设计丛书 |
| 330 | @a本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。 | |
| 517 | 1 | @a基于形式化方法的自动化测试解决方案@9ji yu xing shi hua fang fa de zi dong hua ce shi jie jue fang an |
| 606 | 0 | @a软件@x测试 |
| 690 | @aTP311.5@v5 | |
| 701 | 0 | @a殷永峰@9yin yong feng@f(1978-)@4编著 |
| 701 | 0 | @a姜博@9jiang bo@4编著 |
| 801 | 2 | @aCN@bOLCC @c20210623 |
| 801 | 0 | @aCN@bahlib@c20210512 |
| 905 | @a241250@dTP311.5@e176 | |
| 嵌入式软件系统测试：基于形式化方法的自动化测试解决方案/殷永峰，姜博编著.-北京：机械工业出版社，2021 |
| 241页；24cm.-(电子与嵌入式系统设计丛书) |
| ISBN 978-7-111-67242-5：CNY79.00 |
| 本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。 |
| ● |
| 相关链接 |
正题名：嵌入式软件系统测试
索取号：TP311.5/176
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1911393 | 219113938 | 样本书库/4110560202/ [索取号:TP311.5/176] | 在馆 | |
| 2 | 1911394 | 219113947 | 新区/5100060402/ [索取号:TP311.5/176] | 在馆 | |
| 3 | 1911395 | 219113956 | 新区/5100060402/ [索取号:TP311.5/176] | 在馆 |