Examples of nz.ac.waikato.modeljunit.GreedyTester

nz.ac.waikato.modeljunit.GreedyTester
Test a system by making greedy walks through an EFSM model of the system. A greedy random walk gives preference to transitions that have never been taken before. Once all transitions out of a state have been taken, it behaves the same as a random walk. @author Pele Douangsavanh

    return (trafficFlowTimer > 0 && now >= trafficFlowTimer);
  }


  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) {
      System.out.println(ex.getMessage());

View Full Code Here

        tester.addCoverageMetric(metric);
        return tester;
    }


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

View Full Code Here

    private Model loadModelClass(Project project) {
        return new Model(TestExeModel.createNewModelInstance(project));
    }


    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++;
        }
        mMaximum = metric.getMaximum();
    }

View Full Code Here

  //@Action public void clear() {s1 = false; s2 = false;}


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

Related Classes of nz.ac.waikato.modeljunit.GreedyTester

nz.ac.waikato.modeljunit.examples.gsm.SimCard

nz.ac.waikato.modeljunit.examples.LargeSet

nz.ac.waikato.modeljunit.examples.QuiDonc

nz.ac.waikato.modeljunit.examples.SimpleSet

nz.ac.waikato.modeljunit.examples.SimpleSetWithAdaptor

nz.ac.waikato.modeljunit.examples.SizeExperiments

nz.ac.waikato.modeljunit.examples.SmartSetAdaptor

nz.ac.waikato.modeljunit.examples.StringSetTest

nz.ac.waikato.modeljunit.gui.PanelEfficiencyGraph

nz.ac.waikato.modeljunit.storytest.CalcTableTest

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.