Examples of nz.ac.waikato.modeljunit.Tester.addListener()

nz.ac.waikato.modeljunit.Tester.addListener()
A convenience method for adding known listeners and coverage metrics. This is equivalent to getModel().addListener(name). See the Factory class for the set of known names. @param name The name of a known listener. @return The listener that has been added (now or earlier).

  public static void main(String[] args)
  {
    Set<String> sut = new StringSetBuggy(); // StringSetBuggy();
    Tester tester = new GreedyTester(new SimpleSetWithAdaptor(sut));
    //tester.buildGraph(); // to get better statistics
    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());

View Full Code Here

   */
  public static void main(String[] args)
  {
    Set<String> sut = new HashSet<String>();
    Tester tester = new GreedyTester(new SmartSetAdaptor(sut));
    tester.addListener("verbose");
    tester.generate(100);
  }
}

View Full Code Here

    graph.printGraphDot("ecinema.dot");
    CoverageMetric trans = tester.addCoverageMetric(new TransitionCoverage());
    CoverageMetric trpairs = tester.addCoverageMetric(new TransitionPairCoverage());
    CoverageMetric states = tester.addCoverageMetric(new StateCoverage());
    CoverageMetric actions = tester.addCoverageMetric(new ActionCoverage());
    tester.addListener("verbose");
    // this illustrates how to generate tests upto a given level of coverage.
    int steps = 0;
    while (actions.getPercentage() < 100 /* || steps < 1000*/) {
      tester.generate();
      steps++;

View Full Code Here

  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

  {
    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

  {
    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

    // that we get accurate model coverage metrics.
    tester.buildGraph();


    // set up our favourite coverage metric
    CoverageMetric trCoverage = new TransitionCoverage();
    tester.addListener(trCoverage);


    // ask to print the generated tests
    tester.addListener("verbose");


    // generate a small test suite of 20 steps (covers 4/5 transitions)

View Full Code Here

    // set up our favourite coverage metric
    CoverageMetric trCoverage = new TransitionCoverage();
    tester.addListener(trCoverage);


    // ask to print the generated tests
    tester.addListener("verbose");


    // generate a small test suite of 20 steps (covers 4/5 transitions)
    tester.generate(20);


    tester.getModel().printMessage(trCoverage.getName() + " was "

View Full Code Here

  }


  public static void main(String[] args)
  {
    Tester tester = new GreedyTester(new TrafficLightOld());
    tester.addListener("verbose");
    GraphListener graphListener = tester.buildGraph();
    try {
      graphListener.printGraphDot("OriginalTrafficLight.dot");
    }
    catch (Exception ex) {

View Full Code Here

    // that we get accurate model coverage metrics.
    tester.buildGraph();


    // set up our favourite coverage metric
    CoverageMetric trCoverage = new TransitionCoverage();
    tester.addListener(trCoverage);


    // ask to print the generated tests
    tester.addListener("verbose");


    // generate a small test suite of 20 steps (covers 4/5 transitions)

View Full Code Here

0 1

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.