Type Members

1.  sealed trait GeneratedTestSet extends AnyRef

   Base return type for the test generator

   Base return type for the test generator

   See also

   GeneratedTestSetState

   GeneratedTestSetMap

   GeneratedTestSetError

2.  case class GeneratedTestSetError(error: String, criterion: TestGenerator) extends GeneratedTestSet with Product with Serializable

   Represents an error happened during the generation for a path

   Represents an error happened during the generation for a path

   error

   error message

   criterion

   matching TestGenerator

3.  case class GeneratedTestSetMap(map: Map[String, GeneratedTestSet], required: Required, criterion: TestGenerator) extends GeneratedTestSet with Product with Serializable

   Represents a list of results of test generator (a list of state sets)

   Represents a list of results of test generator (a list of state sets)

   map

   generated results for every test generator of the matching map test generator

   required

   type of validity (Any or All)

   criterion

   matching map test generator

4.  case class GeneratedTestSetState(state: State, criterion: TestGenerator) extends GeneratedTestSet with Product with Serializable

   Represents an initial state generated by a test generator

   Represents an initial state generated by a test generator

   state

   handled state

   criterion

   matching TestGenerator

5.  case class PathTestGenerator(cfg: CFG, name: String, path: Path) extends TestGenerator with Product with Serializable

   Generate a state from a path with constraint solver

   Generate a state from a path with constraint solver

   cfg

   control flow graph

   name

   name of this generator (used in error messages)

   path

   path

6.  sealed trait Required extends AnyRef

   Represents whether a path must be valid for Any or All of a path list

7.  sealed abstract class TestGenerator extends AnyRef

   This class enables to generate tests

   This class enables to generate tests

   There are two types of test generators, making together a tree

   • PathTestGenerator will provide a state given a valid path
   • TestGeneratorMap will provide a list of states given a list of paths (or other TestMapGenerators) with an All or Any setting : must all children be valid or one is enough ?

   See usages in Criterion.scala

8.  case class TestGeneratorMap(cfg: CFG, name: String, required: Required, criteria: Map[String, TestGenerator]) extends TestGenerator with Product with Serializable