search

ModelInference / synoptic

Inferring models of systems from observations of their behavior
Other
83 stars 25 forks source link

Abstract test derivation #302

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Generate an abstract test suite from a Synoptic model. An abstract test suite 
is a set of valid execution traces according to the model. To derive abstract 
tests from a model, we get paths from an initial node to a terminal node in 
that model. Since the model may contain cycles, we want to bound the length of 
the paths we get by setting a limit of how many times a particular event (i.e., 
node) can repeat in a path. The test suite we want to get is the set of all 
possible, bounded paths in the model.

Some paths in a Synoptic model are identical to the traces observed in the log, 
and some paths are predicted and were not observed in the log. The latter are 
more interesting for test generation. Therefore, we also want to be able to 
create an abstract test suite that only contains the predicted paths.

Original issue reported on code.google.com by ssukkerd on 11 Apr 2013 at 8:56

GoogleCodeExporter commented 9 years ago 
Attaches are abstract tests derived from turnstile example.

Original comment by ssukkerd on 15 Apr 2013 at 5:41

Attachments:

GoogleCodeExporter commented 9 years ago 
More output.

Solution in revision a249f009277b.

Original comment by ssukkerd on 15 Apr 2013 at 5:42

Attachments:

GoogleCodeExporter commented 9 years ago

Original comment by ssukkerd on 16 Apr 2013 at 4:11