最后，确定判定条件，建立判定表。这里有3个判定条件：当前状态是E，或当前状态是B，或当前状态是R。如满足对应规则，则填写“Y”，不满足对应规则，则填写“N”。如果在判定条件的规则下，进行的活动正确，则用“√”确认，错误用“×”确认，尚未测试用“□”确认，无关用“⊙”确认。
表1为任务状态判定表（部分）。
表1 任务状态判定表（部分）
表1显示了测试活动1和活动2的正确性。其中满足条件2的活动有2个，即活动2和活动5，但由于活动5并支持对应的规则，所以结果用“×”标示。
由表1可以看出，使用判定表明晰测试覆盖，能保持测试的完备性和一致性。
（2）多任务功能测试
首先，分析Wolf的微内核功能，将其划分成3个测试功能域：
①面向应用层的高级系统服务（调用）测试域。Wolf为应用层提供丰富的系统调用函数，将其细分为操作系统服务类、内存服务类、文件系统服务类、I/O服务类及调试平台服务5类。
②面向内核的多任务调度测试、任务通信测试及内存测试域。
③面向低层硬件的设备驱动测试、时钟测试、功耗测试域。
其次，将系统调用函数使用的数据类型分类，如表2所列。经过数据分类，使得上百个函数测试通过20多个数据类型的测试来实现，。提高测试效率。测试提供的统计数字为最后的测试失败率、覆盖率提供依据。（N1，N2，N3，N4，N5，N6分别代表测试的次数）
表2 系统调用数据类型分类
结束语
本文在嵌入式微内核操作系统Wolf测试过程中设计出有效的测试方案和方法，取得良好的效果。Wolf微内核操作系统研制成功以来，能够支持多种便携式信息处理设备，例如已产业化的阅读不耗电电子书（eBook）。
Wolf作为电子阅读应用软件的开发和数字图书馆阅读终端产品开发的有利支持系统，与北大方正Apabi电子书籍网络出版平台系统及电子出版业相结合，带给人们一个便携式阅读电子书籍的新时代。
