List of addCoverageMetric() Examples

Examples of addCoverageMetric()

nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()
nz.ac.waikato.modeljunit.LookaheadTester.addCoverageMetric()
nz.ac.waikato.modeljunit.QuickTester.addCoverageMetric()
nz.ac.waikato.modeljunit.RandomTester.addCoverageMetric()
nz.ac.waikato.modeljunit.Tester.addCoverageMetric()
This is equivalent to addListener(metric), but more convenient. @param metric A non-null coverage metric to add. @return metric, or a previously-added metric with the same name (if any).

Examples of nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()

    {
      GreedyTester tester = new GreedyTester(model);
      
      tester.setRandom(new Random());
      
      tester.addCoverageMetric(new StateCoverage());
      tester.addCoverageMetric(new TransitionCoverage());
      tester.addCoverageMetric(new TransitionPairCoverage());
      
      tester.addListener(new StopOnFailureListener());

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()

      GreedyTester tester = new GreedyTester(model);
      
      tester.setRandom(new Random());
      
      tester.addCoverageMetric(new StateCoverage());
      tester.addCoverageMetric(new TransitionCoverage());
      tester.addCoverageMetric(new TransitionPairCoverage());
      
      tester.addListener(new StopOnFailureListener());
      
      tester.generate(10000);

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()

      
      tester.setRandom(new Random());
      
      tester.addCoverageMetric(new StateCoverage());
      tester.addCoverageMetric(new TransitionCoverage());
      tester.addCoverageMetric(new TransitionPairCoverage());
      
      tester.addListener(new StopOnFailureListener());
      
      tester.generate(10000);

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()

    tester.addListener(new VerboseListener());
    
    // uncoment this line if you want to stop when the first error is found.
    // tester.addListener(new StopOnFailureListener());
    
    tester.addCoverageMetric(new TransitionCoverage());
    tester.generate(50);
    tester.printCoverage();
  }
}

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()


  public void testSet() throws IOException
  {
    Set<String> sut = new StringSet();
    Tester tester = new GreedyTester(new SimpleSetWithAdaptor(sut));
    tester.addCoverageMetric(new TransitionCoverage());
    tester.addListener(new VerboseListener());
    tester.addListener(new StopOnFailureListener());
    tester.generate(60);
    tester.printCoverage(); // print the model coverage information
  }

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()

  public static void main(String[] args) throws IOException
  {
    Tester tester = new GreedyTester(new LargeSet(2));
    tester.buildGraph(100000);
    CoverageHistory hist = new CoverageHistory(new TransitionCoverage(), 1);
    tester.addCoverageMetric(hist);
    tester.addListener("verbose");
    while (hist.getPercentage() < 99.0)
      tester.generate();
    System.out.println("Transition Coverage ="+hist.toString());
    System.out.println("History = "+hist.toCSV());

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()

        return tester;
    }


    public Tester constructGreedyTester(Project project, CoverageMetric metric) {
        GreedyTester tester = new GreedyTester(loadModelClass(project));
        tester.addCoverageMetric(metric);
        return tester;
    }


    public Tester constructLookaheadTester(Project project, CoverageMetric metric) {
        LookaheadTester tester = new LookaheadTester(loadModelClass(project));

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.addCoverageMetric()

    }


    private void setMaximumCoverage(Project project) {
        GreedyTester tester = new GreedyTester(loadModelClass(project));
        CoverageMetric metric = new TransitionCoverage();
        tester.addCoverageMetric(metric);
        int i = 1;
        while (metric.getMaximum() == -1) {
            tester.generate(i);
            i++;
        }

View Full Code Here

Examples of nz.ac.waikato.modeljunit.LookaheadTester.addCoverageMetric()

        return tester;
    }


    public Tester constructLookaheadTester(Project project, CoverageMetric metric) {
        LookaheadTester tester = new LookaheadTester(loadModelClass(project));
        tester.addCoverageMetric(metric);
        //    tester.setDepth(100);
        tester.setMaxLength(WALK_LENGTH);
        return tester;
    }

View Full Code Here

Examples of nz.ac.waikato.modeljunit.QuickTester.addCoverageMetric()

        return tester;
    }


    public Tester constructQuickTester(Project project, CoverageMetric metric) {
        QuickTester tester = new QuickTester(loadModelClass(project));
        tester.addCoverageMetric(metric);
        return tester;
    }


    /**
     * Create a new instance of the model from an existing project

View Full Code Here

0 1 2 3

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.