Discussion FizzBuzz Example #1 in README - Bad Pattern? about jqwik HOT 3 CLOSED

To chime in from the side, @CppCoderGermany, please care to read what Property-Based Testing (the link is from the Home area of the main web site) is all about. TL;DR: You want to test general properties of your code that should hold, e.g. if you append two Strings then the length of the resulting String is always the sum of the lengths of the two input Strings, regardless of which Strings you choose. Or if you add two positive integers then the sum is always positive (which will not be true, if you write the jqwik test for it).
Addendum: To actually answer your question: jqwik tests the property “every third element starts with fizz” for (by default) 1000 random samples, your code is equivalent to 100 examples for the first 100 elements. The properties “every fifth element contains buzz” should probably also be tested ;-) The nice thing here is that you can derive these properties directly from the problem specification.

from jqwik.

Thanks to @rkraneis for your comment.

I will give it a try.

from jqwik.

BTW, one of the next main features I will tackle is exhaustive generation of parameters, so that when you specify something like:

@ForAll @IntRange(min = 1, max = 100) int

all parameters (or combinations thereof) will be generated - up to a certain limit. That would functionally be equivalent to your code in fizzBuzz_startsWithFizzEach3thItem_shallBeTrue.

from jqwik.