January 2, 2020

Generative Testing: Properties, State and Beyond


Jan Stepien, Consulting with INNOQ


A lot of examples about how to perform tests. Despite the fact that little information was provided about how to use this concepts in the large, some very interesting ideas comes to mind.

The idea of stateful testing is very bad. You have to keep track of a lot of different stuff. However, there are some aspects to the idea of generation a list of actions that your code should be complaint with and run this list on top of the code, is very useful.


Don’t write tests! Generate them


  1. Testing the Hard stuff and staying sane

  2. Generate actions changing the state

  3. Apply each action to the state, if possible

  4. After each application verify the model

Tags: testing