Type Members

1.  case class AllAssignCriterion(maxLoopDepth: Int = 1) extends Criterion with Product with Serializable

   All assigns criterion

   All assigns criterion

   maxLoopDepth

   max loop execution during test generation

2.  case class AllDUPathsCriterion(maxLoopDepth: Int = 1) extends Criterion with Product with Serializable

   All DU paths criterion

   All DU paths criterion

   maxLoopDepth

   max loop execution during test generation

3.  case class AllDecisionsCriterion(maxLoopDepth: Int = 1) extends Criterion with Product with Serializable

   All decisions criterion

   All decisions criterion

   maxLoopDepth

   max loop execution during test generation

4.  case class AllDefinitionsCriterion(maxLoopDepth: Int = 1) extends Criterion with Product with Serializable

   All definitions criterion

   All definitions criterion

   maxLoopDepth

   max loop execution during test generation

5.  case class AllILoopsCriterion(i: Int) extends Criterion with Product with Serializable

   All i-loops criterion

   All i-loops criterion

   i

   i

6.  case class AllKPathCriterion(k: Int) extends Criterion with Product with Serializable

   All k-paths criterion

   All k-paths criterion

   k

   k

7.  case class AllUsagesCriterion(maxLoopDepth: Int = 1) extends Criterion with Product with Serializable

   All usages criterion

   All usages criterion

   maxLoopDepth

   max loop execution during test generation

8.  sealed trait Coverage extends AnyRef

   Enables to test a coverage

   Enables to test a coverage

   It is returned by a criterion build function

9.  sealed abstract class CoverageUnit extends AnyRef

   Represents a unit of coverage (for instance node, or path)

   Represents a unit of coverage (for instance node, or path)

   See also

   SourceTargets

   SourceTarget

   Node

   Path

10.  sealed abstract class Criterion extends AnyRef

    Represents a criterion

11.  case class Node(node: Int) extends CoverageUnit with Product with Serializable

    The unit is covered if the node is visited

    The unit is covered if the node is visited

    node

    node label

12.  case class NodeCoverage(nodes: Set[Node]) extends Coverage with Product with Serializable

    Verifies if a set of nodes is covered by the executions of cfg over different states

    Verifies if a set of nodes is covered by the executions of cfg over different states

    nodes

    nodes to cover

13.  case class Path(path: Vector[Int]) extends CoverageUnit with Product with Serializable

    The unit is covered if the path is visited

    The unit is covered if the path is visited

    path

    path

14.  case class PathCoverage(paths: Set[Path]) extends Coverage with Product with Serializable

    Verifies if a set of path is covered

    Verifies if a set of path is covered

    paths

    paths to cover

15.  case class SourceAnyTargetCoverage(stss: Set[SourceTargets]) extends Coverage with Product with Serializable

    Verifies if a set of source targetS tuples is covered following the principle : at least one path must go from source to any of the target of the tuple

    Verifies if a set of source targetS tuples is covered following the principle : at least one path must go from source to any of the target of the tuple

    stss

    source targets tuples

16.  case class SourceTarget(source: Option[Int], target: Option[Int]) extends CoverageUnit with Product with Serializable

    The unit is covered if ANY path goes through source then through target

    The unit is covered if ANY path goes through source then through target

    source

    source

    target

    target

17.  case class SourceTargetCoverage(st: Set[SourceTarget]) extends Coverage with Product with Serializable

    Verifies if a set of source target tuples is covered following the principle : at least one path must go from source to target

    Verifies if a set of source target tuples is covered following the principle : at least one path must go from source to target

    st

    source target tuples

18.  case class SourceTargets(source: Option[Int], targets: Set[Int]) extends CoverageUnit with Product with Serializable

    The unit is covered in ANY path goes through source then through ANY target

    The unit is covered in ANY path goes through source then through ANY target

    source

    source

    targets

    list of possible targets