---
id: property
requestedLanguage: en
descriptionLanguage: en
---

# Property-based Testing

- Type: testing technique
- Group: Verification
- Placement: Verification / Scenarios and data
- [Source](<https://hypothesis.readthedocs.io/en/latest/>)

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

Generates many inputs and checks general properties instead of relying only on hand-picked examples.

## Relationships

- may check properties from: [Design by Contract](/practices/dbc/en.md) (verification)
- may select generators based on: [Equivalence Partitioning](/practices/equivalence/en.md) (support)
- may use generation from: [Fuzz Testing](/practices/fuzz/en.md) (verification)
- may generate scenarios for: [Model-based Testing](/practices/model/en.md) (support)
- may check relationships from: [Metamorphic Testing](/practices/metamorphic/en.md) (verification)
- may be applied in: [Test-Driven Development](/practices/tdd/en.md) (support)

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