Property-based Testing in Java: How to Specify it
source link: https://blog.johanneslink.net/2019/07/19/how-to-specify-it/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Johannes Link
Software Therapist
Property-based Testing in Java: How to Specify it
less than 1 minute read
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.
How to specify it! In Java!Permalink
A few weeks ago John Hughes, unarguably one of the most prominent practitioners of Property-based Testing, published How to Specify it!. In this paper he presents “five generic approaches to writing specifications”.
I found this paper so full of knowledge and good advice that I transferred the code examples for Haskell / QuickCheck to Java / jqwik. Additionally I adapted the text to fit these examples.
Here you can read the fully transferred paper. Enjoy and comment!
Tags: inductive testing java jqwik metamorphic properties model-based properties postconditions property-based testing validity testing
Updated: July 19, 2019
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK