nz.ac.waikato.modeljunit
Class AllRoundTester

java.lang.Object
  nz.ac.waikato.modeljunit.Tester
      nz.ac.waikato.modeljunit.AllRoundTester

public class AllRoundTester
extends Tester

Field Summary

Fields inherited from class nz.ac.waikato.modeljunit.Tester

FIXEDSEED, model_, rand_

Constructor Summary

AllRoundTester(FsmModel fsm)
A convenience constructor that puts a Model wrapper around an FsmModel.

AllRoundTester(Model model)
Creates a GreedyTester that will terminate each test sequence after getLoopTolerance() visits to a state.

AllRoundTester(Tester testr)
Allows you to add a tester

Method Summary

int	allRoundTrips()
int	generate() Generate one more test step in the current sequence.
java.lang.String	getDescription() A brief description of this test generation algorithm.
int	getLoopTolerance() The maximum number of times that any state can appear in a test sequence during test generation.
java.lang.String	getName() The name of this test generation algorithm.
void	setLoopTolerance(int t) Lets you set how many times the algorithm will tolerate a loop

Methods inherited from class nz.ac.waikato.modeljunit.Tester

addCoverageMetric, addListener, addListener, addListener, buildGraph, buildGraph, buildGraph, buildGraphBreadthFirst, generate, getModel, getRandom, printCoverage, reset, setRandom

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AllRoundTester

public AllRoundTester(Model model)

Creates a GreedyTester that will terminate each test sequence after getLoopTolerance() visits to a state.

Parameters:

model - Must be non-null;

AllRoundTester

public AllRoundTester(FsmModel fsm)

A convenience constructor that puts a Model wrapper around an FsmModel.

Parameters:

fsm - Must be non-null.

AllRoundTester

public AllRoundTester(Tester testr)

Allows you to add a tester

Method Detail

getName

public java.lang.String getName()

Description copied from class: Tester

The name of this test generation algorithm.

Specified by:

getName in class Tester

getDescription

public java.lang.String getDescription()

Description copied from class: Tester

A brief description of this test generation algorithm.

Specified by:

getDescription in class Tester

getLoopTolerance

public int getLoopTolerance()

The maximum number of times that any state can appear in a test sequence during test generation. Once this is exceeded, the test sequence is terminated by doing a reset.

setLoopTolerance

public void setLoopTolerance(int t)

Lets you set how many times the algorithm will tolerate a loop

allRoundTrips

public int allRoundTrips()

generate

public int generate()

Description copied from class: Tester

Generate one more test step in the current sequence. This may reset and start a new test sequence if necessary.

Specified by:

generate in class Tester

Returns:

the number of the action taken, or -1 if a reset was done.