摘要：

UML Statechart是UML的一个主要组成部分，与其他类型的Statechart相比，由于采用事件队列的调度方式，UML Statechart有着更多的不确定性，使得针对UML Statechart  模型的测试非常困难。本文给出了一个形式化的语义模型，并将Stateehart转化为一个比较简单的标志变迁系统，利用路径选择算法得到一个基于标志变迁系统的测试集，然 后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义，从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。

关键词: 软件开发 软件测试 测试序列生成方法 UML Statechart 语义模型