Test path generation
GraphWalker supports special rules that help you select a sequence of actions and states you would like to cover by tests in your model. Those rules consists of two parts - "how to cover" and "what to cover". The pattern is illustrated here:
And examples could look like this:
random(edge_coverage(100)) - walk through the model randomly until all (100%) edges have been reached.
In the model above, all elements are colored green because GraphWalker has traversed them all.
a_star(reached_vertex(v_ClientStarted)) - generate a shortest path through the model to the vertex "v_ClientStarted"
In the model above, only the elements in the shortest path from e_Init to v_ClientStarted has been colored green, meaning they have been traversed.
GraphWalker has plenty of ways to cover your model, both exhaustively and effectively.
The full list of path generation methods can be seen in generators and stop conditions.