随着嵌入式计算机的使用日益广泛,嵌入式实时系统的测试工作变得越来越重要。测试工作中的一个核心问题是何时能够停止测试,即如何确定测试的充分性问题。本文分析并研究了功能测试、性能测试、白盒覆盖率自动化测试和可靠性测试的充分性准则,并应用这些充分性准则对一个具体的嵌入式实时系统(CRTOSII)进行了实践。以本论文前期的功能测试作为铺垫,为后面的性能测试和白盒覆盖率自动化测试积累了的经验。性能测试按照SSC基准测试完成,白盒覆盖率自动化测试则以路径的覆盖率为充分性指标,对测试Logicscope工具进行了修改并完成测试工作。同时,SSC基准测试的时间指标和白盒覆盖率自动化测试的覆盖率指标作为评价测试工作和操作系统的重要依据。在可靠性测试中,使用了基于运行剖面的可靠性测试和基于马尔可夫链的可靠性测试两种方法,前者以故障强度为充分性准则,后者以状态和状态转换图的覆盖和Discriminant值为充分性准则。还尝试将运行剖面用于基于马尔可夫链的可靠性测试的使用链的构建中,让使用链能更贴切地描述软件实际的使用情况,从而让使用链生成的测试案例能按用户的使用方式对软件进行测试,获得更好的测试效果。