PyModel Viewer

PyModel is an open-source model-based testing framework in Python.


  pmv [options] models

A single program that invokes pma, pmg, and Graphviz dot to to perform analysis, generate dot commands, and generate a file of graphics in .svg, .pdf or another format. The pmv program provides brevity and convenience, so analysis and display can be accomplished by a single command. This program accepts all of the command line options and arguments of both pma and pmg, and the -T option of dot (to select the graphics format), then passes the options to the appropriate program.


  -h, --help            show this help message and exit

Options passed to pma, PyModel analyser:

  -a ACTION, --action=ACTION
                        Action to include in generated FSM, as many as needed,
                        if no -a include all actions
  -e EXCLUDE, --exclude=EXCLUDE
                        Action to exclude from generated FSM, as many as
                        Maximum number of transitions to include in the
                        generated FSM, default 100
  -o OUTPUT, --output=OUTPUT
                        Output file basename (before the .foo suffix), default
                        is FSM

Options passed to pmg, PyModel graphics:

                        Transition labels: action, name, or none, default is
  -x, --noStateTooltip  Omit tooltips from state bubbles (to work around dot
                        svg problem)
  -y, --noTransitionTooltip
                        Omit tooltips from transition arrows

Options passed to Graphviz dot:

                        Graphics file type (format), default svg 

Revised Nov 2012