状态迁移测试 Skill：从状态规则推导有效与异常路径

状态迁移测试双语指南，根据状态、事件、守卫、动作和持久化证据推导可追溯的测试设计候选。