Package nz.ac.waikato.modeljunit.coverage

Examples of nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage

285
286
287
288
289
290
291
292
   *  It may need adjusting when the seed or random walk algorithm changes.
   */
  public void testTransitionPairCoverage()
  {
    //    System.out.println("Starting testTransitionPairCoverage");
    FsmCoverage(new TransitionPairCoverage(), 10,
        new int[] {1,0, 2,1, 3,2, 200,10});
  }
View Full Code Here
163
164
165
166
167
168
169
170
   *  It may need adjusting when the seed or random walk algorithm changes.
   */
  public void testTransitionPairCoverage()
  {
    //    System.out.println("Starting testTransitionPairCoverage");
    FsmCoverage(new TransitionPairCoverage(), 10,
        new int[] {1,0, 2,1, 3,2, 200,9});
  }
View Full Code Here
203
204
205
206
207
208
209
210
211
212
213
     
      tester.setRandom(new Random());
     
      tester.addCoverageMetric(new StateCoverage());
      tester.addCoverageMetric(new TransitionCoverage());
      tester.addCoverageMetric(new TransitionPairCoverage());
     
      tester.addListener(new StopOnFailureListener());
     
      tester.generate(10000);
     
View Full Code Here
312
313
314
315
316
317
318
319
320
321
322
    // The guards make this a more difficult graph to explore, but we can
    // increase the default maximum search to complete the exploration.
    GraphListener graph = tester.buildGraph(100000);
    graph.printGraphDot("ecinema.dot");
    CoverageMetric trans = tester.addCoverageMetric(new TransitionCoverage());
    CoverageMetric trpairs = tester.addCoverageMetric(new TransitionPairCoverage());
    CoverageMetric states = tester.addCoverageMetric(new StateCoverage());
    CoverageMetric actions = tester.addCoverageMetric(new ActionCoverage());
    tester.addListener("verbose");
    // this illustrates how to generate tests upto a given level of coverage.
    int steps = 0;
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
            coverage[1] = new TransitionCoverage();
            m_tester[0].addCoverageMetric(coverage[1]);
        }

        if (bCoverage[2]) {
            coverage[2] = new TransitionPairCoverage();
            m_tester[0].addCoverageMetric(coverage[2]);
        }
        if (bCoverage[3]) {
            coverage[3] = new ActionCoverage();
            m_tester[0].addCoverageMetric(coverage[3]);
View Full Code Here
568
569
570
571
572
573
574
575
576
577
578
            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]);
View Full Code Here
TOP

Related Classes of nz.ac.waikato.modeljunit.coverage.TransitionPairCoverage

  • nz.ac.waikato.jdsl.graph.api.Edge
  • nz.ac.waikato.jdsl.graph.api.Vertex
  • nz.ac.waikato.modeljunit.examples.ecinema.ECinema
  • nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
  • nz.ac.waikato.modeljunit.gui.TestExeModel
  • nz.ac.waikato.modeljunit.ModelTestCaseTest
  • nz.ac.waikato.modeljunit.RandomTesterTest
  • nz.ac.waikato.modeljunit.storytest.CalcTableTest
  • nz.ac.waikato.modeljunit.Transition
  • nz.ac.waikato.modeljunit.TransitionPair
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.