机读格式显示(MARC)

• 000 01016nam0 2200265 450

• 001 0000522795

• 005 20141222155700.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

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

• 801 _0 |a CN |b NHL |c 20141105

• 905 __ |a SCNU |f TP316.2/1264

• 920 __ |a 242430 |z 1