Generating another model: statechart

If test states are involved, then a statechart can be generated from the action-state model. A statechart doesn’t show how many times an action is covered, thus it consists of less information, However, this is a different perspective, and you can check a statechart whether all the actions from a state leave. In this way, modeling can be controlled and checked. Here is an example based on our Pizza application.
Image without caption
You can also use the graph even if you omit states. In this case, you can see the test cases in a different way and you can check them easier. Here is a graph with adding placebo states S2—S8
Image without caption