Uses of Class
nz.ac.waikato.modeljunit.Tester

Packages that use Tester

nz.ac.waikato.modeljunit	Overview
nz.ac.waikato.modeljunit.examples	Examples of Using ModelJUnit
nz.ac.waikato.modeljunit.gui	A GUI for ModelJUnit

Uses of Tester in nz.ac.waikato.modeljunit

Subclasses of Tester in nz.ac.waikato.modeljunit

class	AllRoundTester
class	GreedyTester Test a system by making greedy walks through an EFSM model of the system.
class	LookaheadTester A test generator that looks N-levels ahead in the graph.
class	RandomTester Test a system by making random walks through an EFSM model of the system.

Methods in nz.ac.waikato.modeljunit with parameters of type Tester

protected java.lang.String

ResultExtractor.generateResults(int seed, Tester tester)

Constructors in nz.ac.waikato.modeljunit with parameters of type Tester

AllRoundTester(Tester testr)
Allows you to add a tester

Uses of Tester in nz.ac.waikato.modeljunit.examples

Methods in nz.ac.waikato.modeljunit.examples with parameters of type Tester

static double

SizeExperiments.allTransitions(Tester tester) Measures how long it takes tester to satisfy all-transitions coverage.

Uses of Tester in nz.ac.waikato.modeljunit.gui

Fields in nz.ac.waikato.modeljunit.gui declared as Tester

protected Tester[]

OptionPanelAdapter.m_tester The array of tester object Using array because we need to separate several tester for different panel.

Methods in nz.ac.waikato.modeljunit.gui that return Tester

static Tester	TestExeModel.getTester(int idx)
Tester	AlgorithmPanel.getTester(int idx) This delegates to the getTester method of the parameters pane.
Tester	OptionPanelAdapter.getTester(int idx)

Methods in nz.ac.waikato.modeljunit.gui with parameters of type Tester

static void

TestExeModel.setTester(Tester tester, int idx)