uk.ac.sheffield.vtts.model

Class TestSuite

java.lang.Object

uk.ac.sheffield.vtts.model.Element

uk.ac.sheffield.vtts.model.Named

uk.ac.sheffield.vtts.model.Annotated

uk.ac.sheffield.vtts.model.Specification

uk.ac.sheffield.vtts.model.TestSuite

public class TestSuite
extends Specification

TestSuite represents a set of generated high-level test testSequences. A TestSuite is the more concrete counterpart of a Language, which contains testSequences of events. A TestSuite contains testSequences of tests, populated with the inputs, outputs, conditions and effects.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields inherited from class uk.ac.sheffield.vtts.model.Specification

multiTest, testDepth

Fields inherited from class uk.ac.sheffield.vtts.model.Annotated

notice

Fields inherited from class uk.ac.sheffield.vtts.model.Named

name

Constructor Summary

Constructors

Constructor and Description
TestSuite() Creates an empty TestSuite.
TestSuite(java.lang.String name, int depth) Creates an empty TestSuite for the given system and test depth.

Method Summary

Methods

Modifier and Type	Method and Description
TestSuite	addTestSequence(TestSequence sequence) Adds a sequence to the set of TestSequences in this TestSuite.
int	compress() Compress this TestSuite, returning a more compact TestSuite in which single TestSequences may verify multiple test objectives.
java.lang.String	getGrounding() Returns the grounding specified for this TestSuite, if any.
java.lang.Boolean	getMetaCheck() Optionally reports whether meta-checks of full state and transition behaviour are to be performed.
java.lang.String	getSystem() Returns the name of the System Under Test (SUT).
java.lang.String	getTestDriver() Returns the name of the Test Driver (TD) for the System Under Test (SUT).
java.util.Set<TestSequence>	getTestSequences() Returns the set of TestSequences that constitute this TestSuite.
boolean	isMetaCheck() Reports whether meta-checks of full state and transition behaviour are to be performed.
void	receive(Grounding grounding) Receive a Grounding generator for grounding this TestSuite.
TestSuite	setGrounding(java.lang.String grounding) Sets the grounding desired for this TestSuite, if any.
void	setMetaCheck(boolean metaCheck) Sets whether to perform meta-checks of full state and transition behaviour.
int	size() Returns the size of this TestSuite.

Methods inherited from class uk.ac.sheffield.vtts.model.Specification

getMultiTest, getName, getTestDepth, isMultiTest, setMultiTest, setTestDepth

Methods inherited from class uk.ac.sheffield.vtts.model.Annotated

addNotice, getNotice

Methods inherited from class uk.ac.sheffield.vtts.model.Named

equals, hashCode, setName, setName, toString

Methods inherited from class uk.ac.sheffield.vtts.model.Element

safeEquals, safeHashCode, semanticError

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TestSuite

public TestSuite()

Creates an empty TestSuite.

TestSuite

public TestSuite(java.lang.String name,
         int depth)

Creates an empty TestSuite for the given system and test depth.

Parameters:

name - the name of the System Under Test (SUT).

depth - the desired maximum depth for testing.

Method Detail

getSystem

public java.lang.String getSystem()

Returns the name of the System Under Test (SUT). This is the same as the name of the Service for which this TestSuite was generated, and is the same as the name of this TestSuite. This name may be used during grounding, to create an instance of the system type corresponding to this name.

Returns:

the name of the System Under Test (SUT)

getTestDriver

public java.lang.String getTestDriver()

Returns the name of the Test Driver (TD) for the System Under Test (SUT). The name of the TD is conventionally created by appending the name of the SUT and "Test". This name may be used during grounding, to create an instance of the test driver type corresponding to this name.

Returns:

the name of the Test Driver (TD).

size

public int size()

Returns the size of this TestSuite. Counts the number of TestSequences in this TestSuite.

Returns:

the number of TestSequences in this TestSuite.

getTestSequences

public java.util.Set<TestSequence> getTestSequences()

Returns the set of TestSequences that constitute this TestSuite. These are in the order in which the tests should be executed, which ensures that earlier properties are verified before they are used as part of the set-up in longer TestSequences.

Returns:

a set of TestSequences.

addTestSequence

public TestSuite addTestSequence(TestSequence sequence)

Adds a sequence to the set of TestSequences in this TestSuite. If this TestSuite does not already contain a TestSequence equal to the added TestSequence, it includes the new sequence in its set of TestSequences. Sets the test index of the added TestSequence (using 1..n indexing).

Parameters:

sequence - the TestSequence to add.

Returns:

this TestSuite.

getGrounding

public java.lang.String getGrounding()

Returns the grounding specified for this TestSuite, if any. This is a symbolic String whose value denotes a particular kind of grounding. Examples might be: "Java", or "JAX-WS", or "JAX-RS".

Returns:

the grounding, or null.

setGrounding

public TestSuite setGrounding(java.lang.String grounding)

Sets the grounding desired for this TestSuite, if any. This is a symbolic String whose value denotes a particular kind of grounding. Examples might be: "Java", or "JAX-WS", or "JAX-RS".

Parameters:

grounding - the symbolic grounding String.

Returns:

this TestSuite.

isMetaCheck

public boolean isMetaCheck()

Reports whether meta-checks of full state and transition behaviour are to be performed. True, by default. This should be set to false if the tested service does not offer access to its full state and transition behaviour in test-mode.

Returns:

true, or false.

getMetaCheck

public java.lang.Boolean getMetaCheck()

Optionally reports whether meta-checks of full state and transition behaviour are to be performed. Only used during unmarshalling, to store the optional metaCheck attribute.

Returns:

true, or null.

setMetaCheck

public void setMetaCheck(boolean metaCheck)

Sets whether to perform meta-checks of full state and transition behaviour. Set to true (the default), if the tested service offers meta-access to its full state and transition behaviour; otherwise set to false.

Parameters:

metaCheck - true, if meta-checks are to be performed.

compress

public int compress()

Compress this TestSuite, returning a more compact TestSuite in which single TestSequences may verify multiple test objectives. Without any compression, each TestSequence consists of a number of TestSteps that are part of the set-up, followed by a verified TestStep which is the test objective. Each TestSequence is by default a single-objective test. With compression, any TestSequence that is a prefix of some longer TestSequence is merged with that sequence, resulting in some TestSequences that verify multiple test objectives. The resulting smaller TestSuite is re-ordered, so that the properties of shorter paths are verified before the longer paths of which they are the prefix. The multiTest attribute is set to true.

Returns:

the size of this compressed TestSuite.

receive

public void receive(Grounding grounding)

Receive a Grounding generator for grounding this TestSuite. The actual generator is any class that implements the Grounding interface. Asks the grounding reciprocally to ground this TestSuite.

Parameters:

grounding - a Grounding generator.