Examples of nz.ac.waikato.modeljunit.Tester

nz.ac.waikato.modeljunit.Tester
An abstract superclass for all the test generation algorithms. Each subclass must implement a {@link #generate()} method thatgenerates the next step in a test sequence.
Note that many test generation algorithms use randomness, so this class provides a setter and getter for a random number generator. By default this is set to new Random(FIXEDSEED), so that test generation is deterministic. @author marku

        + " New State: " + getState());
  }


  public static void main(String[] args)
  {
    Tester tester = new GreedyTester(new AlarmClock());
    tester.setRandom(new Random());
    tester.generate(100);
    GraphListener listener = tester.buildGraph();
    try {
      listener.printGraphDot("AlarmClock.dot");
    }
    catch (FileNotFoundException e) {
      e.printStackTrace();

View Full Code Here

   * @throws FileNotFoundException 
   */
  public static void main(String[] args) throws FileNotFoundException {
    final int experiments = 100;
    SimpleNaiveLight fsm = new SimpleNaiveLight();
    Tester tester = new RandomTester(fsm);
    //tester.addListener(new VerboseListener());
    //tester.addListener(new VerboseListener());
    GraphListener graph = tester.buildGraph();
    System.out.println("FSM has " + graph.getGraph().numVertices() + " states and "
        + graph.getGraph().numEdges() + " transitions");
    CoverageMetric metric = tester.addCoverageMetric(new TransitionCoverage());
    for (double prob = 0.1; prob < 0.99; prob += 0.1) {
      double totalSteps = 0.0;
      int totalTime = 0; // sum of all the totalTimes.
      for (int seed = 0; seed < experiments; seed++) {
        int testSeqTime = 0;
        int lastTime = 0; // the time after the last transition
        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

    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

        coverage[0] = new CoverageHistory(new TransitionCoverage(), 1);
        coverage[1] = new CoverageHistory(new TransitionCoverage(), 1);
        coverage[2] = new CoverageHistory(new TransitionCoverage(), 1);
        coverage[3] = new CoverageHistory(new TransitionCoverage(), 1);


        Tester randomTester = constructRandomTester(project, coverage[0]);
        Tester greedyTester = constructGreedyTester(project, coverage[1]);
        Tester lookaheadTester = constructLookaheadTester(project, coverage[2]);
        Tester quickTester = constructQuickTester(project, coverage[3]);


        setMaximumCoverage(project);


        // Run test several times to draw line chart
        int[] stages = computeStages(WALK_LENGTH);
        for (int i = 0; i < stages.length; i++) {
            randomTester.generate(stages[i]);
            greedyTester.generate(stages[i]);
            lookaheadTester.generate(stages[i]);
            quickTester.generate(stages[i]);


            //System.out.println("DEBUG: Progress: " + stages[i] + "/" + WALK_LENGTH);
            setProgress(stages[i], WALK_LENGTH);
            // Update the line chart and repaint
            mRandomTesterCoverage.add((int) coverage[0].getCoverage());

View Full Code Here

         dialog.pack();
         dialog.setVisible(true);*/


        mCoverage.getProgress().setIndeterminate(true);


        Tester tester = TestExeModel.getTester(0);
        tester.buildGraph();


        mCoverage.getProgress().setIndeterminate(false);


        mGraphCurrent = true;

View Full Code Here

        if (mTestDesign.isLineChartDrawable()) {
            mCoverage.clearCoverages();
            int[] stages = mCoverage.computeStages(mProject.getWalkLength());


            mTestDesign.initializeTester(0);
            Tester tester = TestExeModel.getTester(0);
            /* tester.buildGraph();*/
            // Leave the coverage window hidden until manually opened from the View menu
            // displayCoverageWindow();
            buildGraphGUI();


            CoverageHistory[] coverage = new CoverageHistory[TestExeModel.COVERAGE_NUM];
            coverage[0] = new CoverageHistory(new StateCoverage(), 1);
            coverage[1] = new CoverageHistory(new TransitionCoverage(), 1);
            coverage[2] = new CoverageHistory(new TransitionPairCoverage(), 1);
            coverage[3] = new CoverageHistory(new ActionCoverage(), 1);
            tester.addCoverageMetric(coverage[0]);
            tester.addCoverageMetric(coverage[1]);
            tester.addCoverageMetric(coverage[2]);
            tester.addCoverageMetric(coverage[3]);


            // Run test several times to draw line chart
            for (int i = 0; i < stages.length; i++) {
                tester.generate(stages[0]);
                //System.out.println("DEBUG: Progress: " + stages[i] + "/" + mProject.getWalkLength());
                mCoverage.setProgress(stages[i], mProject.getWalkLength());
                // Update the line chart and repaint
                mCoverage.addStateCoverage((int) coverage[0].getPercentage());
                mCoverage.addTransitionCoverage((int) coverage[1].getPercentage());
                mCoverage.addTransitionPairCoverage((int) coverage[2].getPercentage());
                mCoverage.addActionCoverage((int) coverage[3].getPercentage());
                mCoverage.redrawGraph();
            }
        }
        // To reset tester, it solve the problem that coverage matrix incorrect.
        mTestDesign.initializeTester(0);
        //reset the visualisation panel
        mVisualisation.resetRunTimeInformation();
        //Try to fully explore the complete graph before running the test explorations
        Tester tester = TestExeModel.getTester(0);
        GraphListener graph = tester.buildGraph();
        mVisualisation.showEmptyExploredGraph(graph);


        // Clear the information in Result viewer text area
        mResultViewer.resetRunTimeInformation();

View Full Code Here

   *  We also report the transition coverage of the model.
   */
  public static void main(String args[])
  {
    // create our model and a test generation algorithm
    Tester tester = new RandomTester(new SpecialFSMNoLoops());


    // build the complete FSM graph for our model, just to ensure
    // 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)
    tester.generate(100);


    tester.getModel().printMessage(trCoverage.getName() + " was "
        + trCoverage.toString());
  }

View Full Code Here

   *  We also report the transition coverage of the model.
   */
  public static void main(String args[])
  {
    // create our model and a test generation algorithm
    Tester tester = new RandomTester(new SpecialFSM());


    // build the complete FSM graph for our model, just to ensure
    // 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)
    tester.generate(100);


    tester.getModel().printMessage(trCoverage.getName() + " was "
        + trCoverage.toString());
  }

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

nz.ac.waikato.modeljunit.examples.ecinema.ECinema

nz.ac.waikato.modeljunit.examples.FSM

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

nz.ac.waikato.modeljunit.examples.SpecialFSM

nz.ac.waikato.modeljunit.examples.SpecialFSMNoLoops

nz.ac.waikato.modeljunit.examples.StringSetTest

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.