|
000
|
01268nam 2200289 450
|
|
001
|
012022000104
|
|
005
|
20211013154031.0
|
|
010
|
|
@a978-7-111-67242-5@dCNY79.00
|
|
100
|
|
@a20210319d2021 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aak a 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a嵌入式软件系统测试@Aqian ru shi ruan jian xi tong ce shi@e基于形式化方法的自动化测试解决方案@f殷永峰, 姜博编著
|
|
210
|
|
@a北京@c机械工业出版社@d2021.2
|
|
215
|
|
@a241页@c图@d24cm
|
|
225
|
2
|
@a电子与嵌入式系统设计丛书@Adian zi yu qian ru shi xi tong she ji cong shu
|
|
314
|
|
@a殷永峰, 高工, 博士。北京航空航天大学软件学院硕士生导师。
|
|
320
|
|
@a有书目 (第237-241页)
|
|
330
|
|
@a本书总结了作者多年的嵌入式软件系统测试的工程实践经验, 基于形式化方法, 提出了完整的自动化测试解决方案。全书从嵌入式系统的分类和特点入手, 介绍嵌入式软件工程及管理方法, 讨论嵌入式软件系统测试理论及测试环境构建等技术, 并结合航电系统嵌入式软件测试实例, 为实现自动化测试提供有效的解决方案。
|
|
410
|
0
|
@12001 @a电子与嵌入式系统设计丛书
|
|
606
|
0
|
@a软件@Aruan jian@x测试
|
|
690
|
|
@aTP311.5@v5
|
|
701
|
0
|
@a殷永峰@Ayin yong feng@4编著
|
|
701
|
0
|
@a姜博@Ajiang bo@4编著
|
|
801
|
0
|
@aCN@bCDNYKJZYXY@c20210319
|
|
905
|
|
@aCDNYKJZYXY@b300648078-9@dTP311.5@e192@f2
|
|
|
|
|
| |
| 嵌入式软件系统测试：基于形式化方法的自动化测试解决方案/殷永峰, 姜博编著.-北京：机械工业出版社，2021.2 |
| 241页：图；24cm.-(电子与嵌入式系统设计丛书) |
| |
| |
| ISBN 978-7-111-67242-5：CNY79.00 |
| 本书总结了作者多年的嵌入式软件系统测试的工程实践经验, 基于形式化方法, 提出了完整的自动化测试解决方案。全书从嵌入式系统的分类和特点入手, 介绍嵌入式软件工程及管理方法, 讨论嵌入式软件系统测试理论及测试环境构建等技术, 并结合航电系统嵌入式软件测试实例, 为实现自动化测试提供有效的解决方案。 |
| ● |
正题名：嵌入式软件系统测试
索取号：TP311.5/192
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
648078
|
300648078
|
流通五库四楼/
[索取号:TP311.5/192]
|
在馆
|
|
|
2
|
648079
|
300648079
|
流通五库四楼/
[索取号:TP311.5/192]
|
在馆
|
|
