PyModel is an open-source model-based testing framework in Python.
Usage:
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.
Options:
-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
needed
-m MAXTRANSITIONS, --maxTransitions=MAXTRANSITIONS
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:
-l TRANSITIONLABELS, --transitionLabels=TRANSITIONLABELS
Transition labels: action, name, or none, default is
action
-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:
-T FILETYPE, --fileType=FILETYPE
Graphics file type (format), default svg