Tests selection step

The GraphWalker supports special rules which help you to select a sequence of actions and states which you would like to cover by your tests in your model.
Those rules consist of two parts - “how to cover” and “what to cover”. The pattern is illustrated below.

Selection rule pattern

And examples would look like the next:
random(edge_coverage(100)) - walk through the model randomly until reach all (100%) edges

a_star(reached_vertex(v_Browse)) - generate a shortest path through the model to the vertex “v_Browse”

The GW has a plenty of ways how to cover your model both exhaustive and effective.
The full list of path generation methods you can see in generators and stop conditions.
After choosing of test selection criteria you may go to the selection of test path generation type