准则
| 覆盖准则 | 要求 | 强度 |
|---|---|---|
| 状态覆盖 | 每个状态至少到达一次 | 低 |
| 迁移覆盖（0-switch） | 每条合法迁移至少执行一次 | 中 |
| 1-switch 覆盖 | 连续两条迁移的组合都执行 | 较高 |
| 路径覆盖 | 所有可行路径 | 高，通常不可行 |
有环的状态机路径无限，实践中多采用 0-switch 或 1-switch 覆盖控制规模。
常见准则：覆盖所有状态、所有合法迁移、连续迁移组合（0-switch、1-switch 等）；覆盖强度与用例数量随准则上升。
| 覆盖准则 | 要求 | 强度 |
|---|---|---|
| 状态覆盖 | 每个状态至少到达一次 | 低 |
| 迁移覆盖（0-switch） | 每条合法迁移至少执行一次 | 中 |
| 1-switch 覆盖 | 连续两条迁移的组合都执行 | 较高 |
| 路径覆盖 | 所有可行路径 | 高，通常不可行 |