Package eu.iv4xr.framework.extensions.ltl

Class BasicModelChecker.TestSuite<CoverageItem>

java.lang.Object
eu.iv4xr.framework.extensions.ltl.BasicModelChecker.TestSuite<CoverageItem>
Type Parameters:
CoverageItem - The type of 'items' that we want to cover.
Enclosing class:
BasicModelChecker
public static class BasicModelChecker.TestSuite<CoverageItem> extends Object
Representing a test suite produced by BasicModelChecker.testSuite(List, Function, int, boolean).

  • Field Details

    • targets

      public List<CoverageItem> targets
      All the 'targets' that are to be covered.

    • tests

      public List<Pair<BasicModelChecker.Path,​CoverageItem>> tests
      The test-cases that constitute this test suite. It is a list of pairs (tc,o) where tc is a test-case and o that coverage-target that the last state of tc covers. Note that a test-case would typically covers more targets than just this o; we just mention this o for convenience.

    • covered

      public List<CoverageItem> covered
      All coverage 'targets' that are covered by this test-suite. It will also include targets that were not specified in targets but happen to be covered by the test-suite.

  • Constructor Details

    • TestSuite

      public TestSuite()

  • Method Details

    • notCovered

      public List<CoverageItem> notCovered()
      Give all targets specified by targets that are still left uncovered.

    • coverage

      public float coverage()
      Return the coverage degree, which is a number in [0..1]; it is 1 if all targets from targets are covered.