Property-based Testing in Java: Model-based Testing

 2 years ago
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

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

Previous Next

About Joyk

Aggregate valuable and interesting links.
Joyk means Joy of geeK