Property-based Testing in Java: Model-based Testing
source link: https://blog.johanneslink.net/2020/03/11/model-based-testing/
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: Model-based Testing
less than 1 minute read
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.
Since the approach requires a through explanation I put it in a place of its own. All code and examples are available ready to try.
Tags: java jqwik model-based testing property-based testing stateful properties
Updated: March 11, 2020
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK