机读格式显示(MARC)

• 000 01179nam0 2200301 450

• 001 0000356194

• 005 20151214092000.0

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

• 100 __ |a 20141108d2014 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a 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 研究

• 606 0_ |a 实时操作系统 |A shi shi cao zuo xi tong

• 606 0_ |a 系统测试 |A xi tong ce shi

• 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 著

• 801 _0 |a CN |b LIB |c 20151214

• 905 __ |a LIB |d TP316.2/29