PyModel/www/pmv.html at master · zlorb/PyModel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
        "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>PyModel Viewer</title>
</head>
<body>

<h2>PyModel Viewer</h2>

<!--
<p>
<a href="http://staff.washington.edu/jon/">Jonathan Jacky</a>
-->

<p>
<a href="index.html">PyModel</a> is an open-source model-based testing
framework in Python.

<hr>

<p>
Usage:
</p>

<pre>
  pmv [options] models
</pre>

<p>
A single program that
invokes <a href="pma.html">pma</a>, <a href="pmg.html">pmg</a>, and
<a href="http://www.graphviz.org/">Graphviz dot</a> 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.
</p>

<p>
Options:
</p>

<pre>
  -h, --help            show this help message and exit
</pre>

<p>
Options passed to <a href="pma.html">pma</a>, PyModel analyser:
</p>

<pre>
  -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 <first argument>FSM
</pre>

<p>
Options passed to <a href="pmg.html">pmg</a>, PyModel graphics:
</p>

<pre>
  -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
</pre>

<p>
Options passed to <a href="http://www.graphviz.org/">Graphviz dot</a>:
</p>

<pre>
  -T FILETYPE, --fileType=FILETYPE
                        Graphics file type (format), default svg
</pre>

<hr>

Revised Nov 2012

</body>
</html>