随着嵌入式应用的快速发展,嵌入式实时软件业已成为软件测试领域的一个研究热点。现有的研究多基于形式化的方法。形式化方法对问题的描述较深刻、严谨,但它要求开发人员具备很好的数学基础和数理逻辑方面的知识,因而难以掌握。UML提供了一个图形化的半形式化的建模方法,虽然它对问题的描述不很深刻,不很严谨,但它不需要很深的数学知识且易于理解和使用,因而深受工业界的欢迎。 本文针对在嵌入式实时软件测试中形式化方法的一些局限性,提出一种基于UML状态图的测试用例生成方法。为了弥补UML状态图在描述实时系统上的不足,给出了一个状态图的实时扩展方案。我们在他人的状态空间划分法的基础上,提出了迁移等价类和测试树的概念,讨论了通过测试树生成测试用例的方法,随后结合一个自动售货机的例子说明了该方法的使用过程。最后介绍了原型工具RTTC的设计与实现。