近年来，由于信息网络和智能设备的发展，嵌入式系统获得了广阔的发展空间。嵌入式实时操作系统作为嵌入式系统发展过程中的一个里程碑，已经在不同行业、不同领域获得了广泛的应用。目前针对嵌入式实时操作系统的研究日益增多，涵盖了从系统概要设计到系统整体测试的各个环节，其中测试是保证嵌入式实时操作系统正确性和可靠性有效的手段。国内外研究人员已经对嵌入式实时操作系统的测试进行了大量研究，但目前还未形成系统成熟的测试理论和方法，所以对嵌入式实时操作系统测试进行研究具有一定的现实意义。本文主要针对嵌入式系统开发的需求，研究嵌入式实时操作系统的测试方法，提出并实现了一种基于扩展有限状态机(EFSM)的嵌入式实时操作系统日志分析方法。首先，介绍了通用软件测试的研究概况和发展趋势，系统地概述了嵌入式实时操作系统测试的特点、环境构建和测试策略；分析了两类目前常用的嵌入式实时操作系统测试方法：基于建模的方法和基于测量的方法的主要内容和优缺点。然后，根据对现有测试方法的分析对比，提出并设计了一种基于EFSM的嵌入式实时操作系统日志分析方法。该方法的核心是形式化的EFSM模型。为利用模型对日志信息进行形式化分析，本文将日志信息抽象为报告序列，并引入了报告序列的可接受性概念。通过对具体的分析过程进行讨论，设计了基于EFSM模型的日志分析算法，该算法利用系统运行时输出的日志信息驱动EFSM模型，在模型的运行过程中找出嵌入式实时操作系统中隐藏的缺陷和错误。最后，为验证基于EFSM的嵌入式实时操作系统日志分析方法，本文结合嵌入式实时操作系统TOPPERS/ASP，对TOPPERS/ASP的消息邮箱操作进行测试，对测试的具体流程进行了详细的设计和实现。实验结果表明，基于EFSM的嵌入式实时操作系统的日志分析方法能够帮助理解系统设计和运行时行为，有助于对嵌入式实时操作系统运行时行为进行快速有效的测试。