Examples of QuickTester

nz.ac.waikato.modeljunit.QuickTester
QuickTester is similar to RandomTester, but remembers unexplored paths for later exploration. That is, it keeps a cache of any actions with true guards that are seen but not taken during a random walk. It remembers the exact path that made the guard true, so that it can re-traverse that path later, to explore that transition. The cache size has a maximum limit so that memory is not exhausted on huge models.

Examples of nz.ac.waikato.modeljunit.QuickTester

            if (bCoverage[i])
                coverage[i].clear();
        }


        if (m_tester[0] instanceof QuickTester) {
            QuickTester tester = (QuickTester) m_tester[0];
            tester.clear();
        }


        // Generate tests
        //System.err.println("Generating " + project.getWalkLength() + " tests with " + m_tester[0]);
        m_tester[0].generate(project.getWalkLength());

View Full Code Here

Examples of nz.ac.waikato.modeljunit.QuickTester

        tester.setMaxLength(WALK_LENGTH);
        return tester;
    }


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

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.