基于模型的测试设计 Skill：从状态模型推导可解释的测试覆盖

基于模型的测试设计实战指南：定义状态、事件、守卫、动作、路径、覆盖和模型限制。