Examples of VerboseListener

nz.ac.waikato.modeljunit.VerboseListener
An implementation of ModelListener that prints event messages to the Model's getOutput() stream.

Examples of nz.ac.waikato.modeljunit.VerboseListener

  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

Examples of nz.ac.waikato.modeljunit.VerboseListener

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

        }


        StringBuffer verbose = new StringBuffer();
        StringWriter sw = new StringWriter();
        if (project.getVerbosity()) {
            VerboseListener vl = new VerboseListener();
            m_tester[0].addListener(vl);
        }
        // We always want to see the tests drawn
        m_tester[0].addListener(new VisualisationListener());
        // Redirect model's output to string

View Full Code Here

Examples of nz.ac.waikato.modeljunit.VerboseListener


  /** 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

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.