机读格式显示(MARC)
- 000 01459oam2 2200313 450
- 010 __ |a 978-7-111-67242-5 |d CNY79.00
- 092 __ |a CN |b 人天967-2517
- 100 __ |a 20210219d2021 em y0chiy50 ea
- 200 1_ |a 嵌入式软件系统测试 |A Qian Ru Shi Ruan Jian Xi Tong Ce Shi |e 基于形式化方法的自动化测试解决方案 |f 殷永峰,姜博编著
- 210 __ |a 北京 |c 机械工业出版社 |d 2021
- 225 2_ |a 电子与嵌入式系统设计丛书 |A Dian Zi Yu Qian Ru Shi Xi Tong She Ji Cong Shu
- 330 __ |a 本书总结了作者多年的嵌入式软件系统测试的工程实践经验,基于形式化方法,提出了完整的自动化测试解决方案。全书从嵌入式系统的构成、分类和特点入手,介绍嵌入式软件工程及管理方法,讨论嵌入式软件系统测试理论及测试环境构建等技术,并结合航电系统嵌入式软件测试实例,为最终实现自动化测试提供有效的解决方案。
- 333 __ |a 本书既适合从事军用/民用领域嵌入式系统开发、验证及维护的专业技术人员阅读,也适合高等院校计算机、软件工程、嵌入式系统等专业的学生参考
- 410 _0 |1 2001 |a 电子与嵌入式系统设计丛书
- 517 1_ |a 基于形式化方法的自动化测试解决方案 |A Ji Yu Xing Shi Hua Fang Fa De Zi Dong Hua Ce Shi Jie Jue Fang An
- 606 0_ |a 软件 |A Ruan Jian |x 测试
- 701 _0 |a 殷永峰 |A Yin Yong Feng |4 编著
- 701 _0 |a 姜博 |A Jiang Bo |4 编著
- 801 _0 |a CN |b 人天书店 |c 20210224
- 905 __ |a XATU |d TP311.5/617