Advanced Level – Cross-Cutting
Property-Based Testing – ISTQB Definition
Last Updated: July 12, 2026 · SoftwareTestPilot QA Team
Official ISTQB Definition
A testing approach in which properties (invariants) of the system are defined and the tool generates many inputs to check that the properties hold.
In simple words
Instead of writing example tests, describe rules that should always hold and let the tool try 1000s of inputs.
Exam tip
Hypothesis (Python), QuickCheck (Haskell), jqwik (Java) implement property-based testing.
Related terms
- Random TestingGenerate inputs at random (often weighted by how users actually use the system) instead of hand-picking them.
- Fuzz TestingBombard the system with malformed, random or unexpected inputs and see what breaks.
- Test Oracle ProblemThe struggle of knowing whether the test passed when the correct answer is hard to compute.
Practice this term in the ISTQB Mock Test
40 CTFL v4.0 questions, 60-minute timer, instant scoring and chapter-wise breakdown.
Practice in Mock Test