| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
封面仅供参考
嵌入式软件系统测试：基于形式化方法的自动化测试解决方案 |
|
|
题名/责任者:
|
嵌入式软件系统测试 [ 专著] / 殷永峰，姜博编著 |
|
ISBN:
|
978-7-111-67242-5 价格： CNY79.00 |
|
语种:
|
汉语 |
|
载体形态:
|
241页 ; 24cm |
|
出版发行:
|
北京 : 机械工业出版社, 2021 |
|
内容提要:
|
本书总结了作者多年的嵌入式软件系统测试的工程实践经验，基于形式化方法，提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手，介绍嵌入式软件工程及管理方法，讨论嵌入式软件系统测试理论及测试环境构建等技术，并结合航电系统嵌入式软件测试实例，为最终实现自动化测试提供有效的解决方案。 |
|
主题词:
|
软件 测试 |
|
中图分类法
:
|
TP311.5 版次： 5 |
|
其它题名:
|
基于形式化方法的自动化测试解决方案 |
|
主要责任者:
|
殷永峰 编著 |
|
主要责任者:
|
姜博 编著 |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
预约：可预约已外借图书，在馆图书不可预约
>>
HEA| |01377nam0 2200253 450 001| |012021041993 010| |▼a978-7-111-67242-5▼dCNY79.00 049| |▼aA340000AHL▼bUCS01010430091▼c1900834411 100| |▼a20210510d2021 em y0chiy50 ea 101|0 |▼achi 102| |▼aCN▼b110000 105| |▼ay z 001yy 106| |▼ar 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 xin- | |g shi hua fang fa de zi dong h- | |ua ce shi jie jue fang an 606|0 |▼a软件▼x测试 690| |▼aTP311.5▼v5 701| 0|▼a殷永峰▼9yin yong feng▼4编著 701| 0|▼a姜博▼9jiang bo▼4编著 801| 0|▼aCN▼bzjlib▼c20210517