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 isFSM
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