嵌入式实时操作系统测试理论和方法

书名：嵌入式实时操作系统测试理论和方法
作者：张明杰等著
ISBN：978-7-5165-0499-4
出版社：航空工业出版社
出版日期：2014.07
全书共分三个部分，第一部分主要介绍嵌入式实时操作系统基本原理，并以开源的RTEMS为例进行相关操作系统概念和原理介绍，使读者能够切实感受嵌入式实时操作系统的内核结构和设计原理；第二部分主要介绍嵌入式实时操作系统测 试的理论和方法，重点关注代码走查、临界保护、进程间通讯、存储管理以及进程调度等嵌入式实时操作系统的核心测试问题，提出了针对上述问题的测试方法；第三部分主要介绍了高安全嵌入式实时操作系统测试方法的具体实现。