forked from jon-jacky/PyModel
-
Notifications
You must be signed in to change notification settings - Fork 8
Expand file tree
/
Copy pathnotes.html
More file actions
63 lines (49 loc) · 2.31 KB
/
notes.html
File metadata and controls
63 lines (49 loc) · 2.31 KB
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
<!DOCTYPE html>
<html lang="en"><head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<meta charset="utf-8">
<title>Notes on PyModel</title>
</head>
<body>
<div class="page">
<div class="previewPage">
<div id="readme" class="announce md">
<article class="markdown-body entry-content">
<h1>Notes on PyModel</h1>
<p>
<a href="index.html">PyModel</a> is an open-source model-based testing
framework in Python.
<hr>
<p>The <a href="../notes">notes</a> directory contains some of the
PyModel documentation. See also the <em>README</em> files in each
directory, the slides and papers in
the <a href="../talks"><em>talks</em></a> directory, and the web pages
in the <a href="../www"><em>www</em></a> directory.</p>
<p>These are the files in the <em>notes</em> directory, in a recommended<br>
reading order:</p>
<ul>
<li><p><em>concepts.md</em>: concepts and vocabulary</p></li>
<li><p><em>commands.txt</em>: PyModel commands and how to use them. Also,<br><em>pma.txt</em>, <em>pmg.txt</em>, <em>pmt.txt</em>, and <em>pmv.txt</em> on each command.</p></li>
<li><p><em>samples.txt</em>: where to find the samples and how to run them. See also<br>
the <em>README</em> in the samples directory and in each sample subdirectory.</p></li>
<li><p><em>models.txt</em>: how to write and use model programs, FSMs, and test suites</p></li>
<li><p><em>composition.txt</em>: how and why to use composition to combine models</p></li>
<li><p><em>strategy.txt</em>: how to select or write an optional strategy to guide test runs</p></li>
<li><p><em>stepper.txt</em>: how to write the test harness needed to test an implementation</p></li>
<li><p><em>test.txt</em>: how to script and run tests on the PyModel software itself</p></li>
<li><p><em>advice.txt</em>: miscellaneous tips and advice</p></li>
<li><p><em>socket_experiments.txt</em>: steppers and other files in the socket sample that<br>
are not discussed in its <em>README</em></p></li>
<li><p><em>releases.txt</em>: release history </p></li>
<li><p><em>release-0.85.txt</em>: release notes</p></li>
<li><p><em>release-0.9.txt</em>: release notes</p></li>
<li><p><em>release-1.0.txt</em>: release notes</p></li>
</ul>
<hr>
</ul><p>Revised May 2013</p>
</article>
</div>
</div>
<div> </div>
</div>
</body></html>