中国农业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

嵌入式实时操作系统测试理论和方法/张明杰 ... [等] 著

出版发行项:

北京:航空工业出版社,2014

ISBN及定价:

978-7-5165-0499-4/CNY48.00

载体形态项:

239页:图;26cm

个人责任者:

张明杰 著

个人责任者:

雷迅 著

个人责任者:

杨云 著

个人责任者:

王林 著

学科主题:

实时操作系统-系统测试-研究

中图法分类号:

TP316.2

题名责任附注:

题名页题其余责任者: 雷迅, 杨云, 王林, 宋恒等

书目附注:

有书目

提要文摘附注:

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

豆瓣简介：

随书光盘: