---
id: model
requestedLanguage: en
descriptionLanguage: en
---

# Model-based Testing

- Type: testing technique
- Group: Verification
- Placement: Verification / Scenarios and data
- [Source](<https://proptest-rs.github.io/proptest/proptest/state-machine.html>)

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

A behavioral model supplies scenarios and expected results against which the implementation is checked.

## Relationships

- uses models, as does: [Model-Driven Development](/practices/mdd/en.md) (comparison)
- uses models, as does: [Model Checking](/practices/checking/en.md) (comparison)
- may use generators from: [Property-based Testing](/practices/property/en.md) (support)

[Show on the map](https://dpm.cnonim.name/#practice=model&lang=en)