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).

    // 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(100);


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

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(100);


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

View Full Code Here


  /** An example of generating tests from this model. */
  public static void main(String[] args)
  {
    Tester tester = new GreedyTester(new SimpleSet());
    tester.addListener(new VerboseListener());
    tester.generate(100);
  }
}

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.