机读格式显示(MARC)

• 000 01178nam0 2200313 450

• 001 0000441974

• 005 20141219184200.0

• 010 __ |a 978-7-5165-0499-4 |d CNY48.00

• 099 __ |a CAL 012014136562

• 100 __ |a 20141105d2014 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 嵌入式实时操作系统测试理论和方法 |A Qian Ru Shi Shi Shi Cao Zuo Xi Tong Ce Shi Li Lun He Fang Fa |f 张明杰 ... [等] 著

• 210 __ |a 北京 |c 航空工业出版社 |d 2014

• 215 __ |a 239页 |c 图 |d 26cm

• 304 __ |a 题名页题其余责任者: 雷迅, 杨云, 王林, 宋恒等

• 320 __ |a 有书目

• 330 __ |a 本书以理论为指导，提出了操作系统测试需要解决的问题，证明了基于有限状态机测试策略的正确性，使用动态代码走查方法提高代码走查的效率和效果，使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导，测试充分性得到有效保证。

• 606 0_ |a 实时操作系统 |A Shi Shi Cao Zuo Xi Tong |x 系统测试 |x 研究

• 690 __ |a TP316.2 |v 5

• 701 _0 |a 张明杰 |A Zhang Ming Jie |4 著

• 701 _0 |a 雷迅 |A Lei Xun |4 著

• 701 _0 |a 杨云 |A Yang Yun |4 著

• 701 _0 |a 王林 |A Wang Lin |4 著

• 801 _0 |a CN |b CAU |c 20141218

• 905 __ |a CAU |d TP316.2/25

• 920 __ |a 211180 |z 1