摘要：本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法，我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础。为Statechart描述建立了形式化测试语义，测试语义与传统的验证语义不同，强调可观察性和内部细节隐藏。基于形式化测试语义和测试假设，形式化定义了系统描述和系统实现之间的一致性关系／实现关系。然后给出了基于图遍历的测试用例生成算法，对于无环测试语义该算法可以生成完全测试集，而对于带环测试语义该算法可以生成高效率的宽泛测试集。

关键词：状态图 系统说明 系统实现 一致性测试 测试集 

单位：浙江师范大学行知学院 浙江金华321004 浙江师范大学数理与信息工程学院 浙江金华321004