---
id: model
requestedLanguage: zh
descriptionLanguage: zh
---

# 基于模型的测试 · Model-based Testing

- 类型: 测试技术
- 分组: 验证
- 位置: 验证 / 场景与数据
- [来源](<https://proptest-rs.github.io/proptest/proptest/state-machine.html>)

[HTML](https://dpm.cnonim.name/zh/practices/model/)

由行为模型提供场景和预期结果，并据此检查实现。

## 关系

- 同样使用模型: [MDD 模型驱动开发 · Model-Driven Development](/practices/mdd/zh.md) (comparison)
- 同样使用模型: [模型检查 · Model Checking](/practices/checking/zh.md) (comparison)
- 可使用其生成器: [基于属性的测试 · Property-based Testing](/practices/property/zh.md) (support)

[在地图上显示](https://dpm.cnonim.name/#practice=model&lang=zh)