Examples of nz.ac.waikato.modeljunit.RandomTester.generate()

Class nz.ac.waikato.modeljunit.RandomTester

Examples of nz.ac.waikato.modeljunit.RandomTester.generate()

nz.ac.waikato.modeljunit.RandomTester.generate()
Generates one step of a random walk through the model. This calls {@link #doRandomActionOrReset()}.

        metric.clear();
        tester.reset();
        tester.setRandom(new Random(seed));
        int count = 0;
        while (metric.getPercentage() < 100.0) {
          tester.generate(1);
          if (model.getTime() > lastTime) {
            lastTime = model.getTime();
          } else {
            testSeqTime += lastTime;
            //System.out.println("added " + lastTime + " secs");

View Full Code Here

    //tester.addListener("verbose");
    //GraphListener graphListener = tester.buildGraph();
    
    try {
      for (int count = 0; count < 1000000; count += 1000) {
        tester.generate(1000);
        System.out.println(count);
      }
      //graphListener.printGraphDot("TrafficLight.dot");
    }
    catch (Exception ex) {

View Full Code Here

    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++;
    }
    System.out.println("Generated "+steps+" steps.");
    tester.printCoverage();
  }

View Full Code Here

    tester.addListener(new StopOnFailureListener());
    tester.addCoverageMetric(new TransitionCoverage());
    tester.addCoverageMetric(new StateCoverage());
    int test = 0;
    for (; test < numTests; test++) {
      tester.generate(1);
    }
    System.out.println("After " + test + " tests");// ", todo=" + graph.numTodo());
    tester.printCoverage();
  }

View Full Code Here


    // 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 "
        + trCoverage.toString());
  }
}

View Full Code Here

        metric.clear();
        tester.reset();
        tester.setRandom(new Random(seed));
        int count = 0;
        while (metric.getPercentage() < 100.0) {
          tester.generate(1);
          if (fsm.time > lastTime) {
            lastTime = fsm.time;
          } else {
            testSeqTime += lastTime;
            //System.out.println("added " + lastTime + " secs");

View Full Code Here


    // 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 "
        + trCoverage.toString());
  }
}

View Full Code Here


    // 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 "
        + trCoverage.toString());
  }
}

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.