In the 5th part of the series I have already shown the basic idea of stateful properties. However, with more complex or even persistent state we have to apply another tool from out tool box: model-based testing.   [read more...]

It’s time to question one of my darlings…   [read more...]

The last article in the series was about driving implementation with properties in a TDD-like way. Today’s article is short, but not because there’s so little to say but because I put most of the contents to a repository and a URL of its own.   [read more...]

It’s been a few months that I wrote about stateful properties. Since then I’ve given a couple of workshops about property-based testing and jqwik has reached version 1.1.3.   [read more...]

The last episode was about patterns to find good properties. One pattern I mentioned there is Stateful Testing. Some PBT proponents treat this one with some condescension since state is considered as something that should be avoided - at least in functional programming. I tend to look at it with more tolerance.   [read more...]