[GitHub] [kafka] stanislavkozlovski commented on pull request #10323: KAFKA-12459; Use property testing library for raft event simulation tests

[GitBox <gi...@apache.org>]

stanislavkozlovski commented on pull request #10323:
URL: https://github.com/apache/kafka/pull/10323#issuecomment-800488343


   For what it's worth I evaluated jqwik vs Quickcheck and had the following bullet-point summaries:
   
   ### Quickcheck
   - 819 stars
   - 10-year old library
   - v1.0 released Nov 22, 2020
   - 25 open issues
   - 55 commits in the last year
   - MIT License
   - light documentation
   - supports shrinking
   
   ### Jqwik
   - 260 stars
   - 5-year old library
   - v1.5 release Feb 2021
   - 16 open issues
   - 1039 commits in the last year
   - EPL-2.0 License
   - extensive documentation
   - very configurable
   - supports shrinking
   
   My reasoning to prefer Jqwik was that it seemed more actively maintained, had good interfaces, had very extensive documentation (I value this heavily) and most importantly supports programmatic parameter generation, meaning it allows you to easily express the dependencies of randomized input. I got the notion that this random input dependency generation is one of the trickier things when writing more complex test cases from [this blog post](https://www.leadingagile.com/2018/04/step-by-step-toward-property-based-testing/).
   
   Jqwik has some other interesting features like [collecting and reporting statstics](https://jqwik.net/docs/current/user-guide.html#collecting-and-reporting-statistics) on the data it generates, allowing you to inspect what the generated data is and whether it's useful or can be tweaked.


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org