Package nz.ac.waikato.modeljunit.coverage

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

569
570
571
572
573
574
575
576
577
578
579
            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.ActionCoverage

  • nz.ac.waikato.jdsl.graph.api.Edge
  • nz.ac.waikato.modeljunit.examples.ecinema.ECinema
  • nz.ac.waikato.modeljunit.GreedyTesterTest
  • nz.ac.waikato.modeljunit.gui.ModelJUnitGUI
  • nz.ac.waikato.modeljunit.gui.TestExeModel
  • nz.ac.waikato.modeljunit.LookaheadTester
  • nz.ac.waikato.modeljunit.ModelTestCaseTest
  • nz.ac.waikato.modeljunit.RandomTesterTest
    • 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.