|
题名:
|
嵌入式实时操作系统测试理论和方法 / 张明杰 ... [等] 著 , |
|
ISBN:
|
978-7-5165-0499-4 价格： CNY48 |
|
语种:
|
chi |
|
载体形态:
|
239页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 航空工业出版社 出版日期： 2014 |
|
内容提要:
|
本书以理论为指导，提出了操作系统测试需要解决的问题，证明了基于有限状态机测试策略的正确性，使用动态代码走查方法提高代码走查的效率和效果，使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导，测试充分性得到有效保证。 |
|
主题词:
|
实时操作系统 系统测试 |
|
中图分类法:
|
TP316.2 版次： 5 |
|
主要责任者:
|
张明杰 著 |
|
主要责任者:
|
雷迅 著 |
|
主要责任者:
|
杨云 著 |
|
主要责任者:
|
王林 著 |
|
索书号:
|
5 |