Property Testing in Java
summary
Explains how property‑based testing complements TDD and gives concrete Java tooling, showing jqwik, junit-quickcheck, and Vavr/favor integrations, generator patterns, constraints, null probabilities, shrinking and verification modes. Demonstrates properties (reverse(reverse(s)) == s, concat preserves elements, compare custom map against java.util, absolute value >= 0, FizzBuzz and Caesar shift), shows jqwik finding a failure with Integer.MIN_VALUE, describes starvation when ranges are tiny, notes JUnit 5 required for jqwik and that defaults are usually 100–1,000 checks.
AI-written summary · about
chapters (7)
- 0:00Start
- 4:28How is it different than a unit test?
- 6:44Reversing a String?
- 11:04Building a Custom Map?
- 15:22What a property test will not give you
- 16:32Quick Check
- 16:49Scala Check
related talks
17mProperty Based Testing: the real truth!
51mProperty Testing: Write Fewer Tests, Find More Bugs
58mProperty Based Testing: Concepts and Examples
43mTesting: Property-based testing - let your testing library work(...)
46mProperty-based testing:You won't look at your tests the same way ever again
54mAn Introduction to Property-based Testing
51mProperty-Based Testing
55mNext-Gen Testing Tools for Java