- If you have installed tool GraphViz, http://www.graphviz.org/Download..php
then you could use robograph (a tool inside robogenerator) to generate state-activity graph by your state-machine model.
At first
robograph -l name SIP_Call_Service # without .py suffix, only show action name which will cause the transition to happen
then there will be a file SIP_Call_Service.dot in current directory
- It will show following picture£º
Also you use Gvedit.exe to open file SIP_Call_Service.dot, and edit the .dot file with yourself.
From the picture we could see, there are a lot of possible sequence to execute all possible test case, if we don¡¯t have tool help, it will be difficult for us to design test procedure which could balance test cost and test coverage.