Abstract test derivation

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

Changed state: Fixed

chubbymaggie / synoptic

Abstract test derivation #302