Property-based Testing in Java: How to Specify it

 1 year ago
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

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

Previous Next

About Joyk

Aggregate valuable and interesting links.
Joyk means Joy of geeK