This repository provides the accompanying dockerized code play ground for teaching state-based testing. The code utilizes a UML state-machine to generate JUnit test cases using the known N+ strategy (by Binder).
Now, in the generated tests, we ask (in generated comments) to satisfy the guards. This needs automation may be a SAT solver? We assume that the variables used within the guards' text are available in the class, and then all we need is to solve the inequalities/equalities.
Currently, the code relies on the input of a separate state machine model. It would be good to modify the code such that:
-It takes in UML class diagram and extracts all the state machines from it
-run the test generation code for each of the owned state machines