论文部分内容阅读
本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法，我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础。为Statechart描述建立了形式化测试语义，测试语义与传统的验证语义不同，强调可观察性和内部细节隐藏。基于形式化测试语义和测试假设，形式化定义了系统描述和系统实现之间的一致性关系／实现关系。然后给出了基于图遍历的测试用例生成算法，