| 模型类型 | 状态机、决策表、时序图、约束模型 |
|---|---|
| 流程 | 建模 → 生成用例 → 执行 → 结果反哺模型 |
MBT 的投入在建模与维护模型上；收益在复杂逻辑与高频变更场景更明显。
状态机与生成示例（登录）
状态机与生成示例（登录）
状态：未登录 -> 已登录 -> 锁定
迁移：登录成功 / 连续失败 / 解锁
生成：先做边覆盖，再补回退与异常迁移用例
回归：模型变更后重新生成并对比差异基于模型的测试（MBT）
用形式化模型（状态机、决策模型、流程图）自动生成测试用例：模型变更后用例可再生成，适合规格清晰的系统。
易错点
- 模型与实现双向漂移，生成的用例与实际行为脱节
- 模型抽象层级过高，生成用例缺少可执行细节
数据来源与参考
- ISTQB CTFL 4.0 大纲（基于模型的测试）