大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 嵌入式实时操作系统测试理论和方法
名称 嵌入式实时操作系统测试理论和方法
索引号
分类号
(| 08 环境公报)
作者 张明杰、雷迅、杨云、
出版社 北京 : 航空工业出版社, 2014.7
ISBN 978-7-5165-0499-4
页数 239页 : 图 ; 26cm
价格 CNY48.00
标签
简介
注解 题名页题: 张明杰, 雷迅, 杨云, 王林, 宋恒等著 有书目 本书以理论为指导, 提出了操作系统测试需要解决的问题, 证明了基于有限状态机测试策略的正确性, 使用动态代码走查方法提高代码走查的效率和效果, 使用地址监控方法解决临界保护正确性测试问题。每种测试方法都以理论为指导, 测试充分性得到有效保证。 本书适合于从事嵌入式操作系统设计和测试的科研人员参考和使用