uk.ac.sheffield.vtts.model

Class Specification

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

Direct Known Subclasses:

Service, TestSuite

public abstract class Specification
extends Annotated

Specification is the abstract ancestor of different kinds of specification. Specification is the ancestor of the Service and TestSuite specifications. Specification defines the common attributes testDepth and multiTest. The testDepth attribute represents the maximum path length of sequences to explore when generating tests; and the multiTest attribute is a boolean flag determining whether to test multiple objectives per test, and so compress the size of the resulting TestSuite.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	multiTest A flag determining whether to verify multiple objectives per test.
protected int	testDepth The maximum path length of test sequences to explore from each state.

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
Specification() Creates a default unnamed Specification.
Specification(java.lang.String name) Creates a named Specification.

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Boolean	getMultiTest() Optionally reports whether multiple test objectives are verified per test sequence.
java.lang.String	getName() Returns the name of a Specification.
int	getTestDepth() Reports the maximum bounded path length of test sequences to explore from each state.
boolean	isMultiTest() Reports whether multiple test objectives are verified per test sequence.
Specification	setMultiTest(boolean multiTest) Sets whether to verify multiple test objectives per test sequence.
Specification	setTestDepth(int testDepth) Sets the maximum bounded path length of test sequences to explore from each state.

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

Field Detail

testDepth

protected int testDepth

The maximum path length of test sequences to explore from each state.

multiTest

protected boolean multiTest

A flag determining whether to verify multiple objectives per test.

Constructor Detail

Specification

public Specification()

Creates a default unnamed Specification.

Specification

public Specification(java.lang.String name)

Creates a named Specification. A Specification must be named with the name of the type representing the whole System Under Test (SUT). This name may be used during grounding, to generate an instance of the SUT to test.

Parameters:

name - the name of this Specification.

Method Detail

getName

public java.lang.String getName()

Returns the name of a Specification. It is an error if the name has not already been set, when this access-method is invoked.

Overrides:

getName in class Named

Returns:

the name.

getTestDepth

public int getTestDepth()

Reports the maximum bounded path length of test sequences to explore from each state.

Returns:

the testDepth

setTestDepth

public Specification setTestDepth(int testDepth)

Sets the maximum bounded path length of test sequences to explore from each state. Ensures that this is set to a non-negative value.

Parameters:

testDepth - a zero or positive integer value.

Returns:

this Specification.

isMultiTest

public boolean isMultiTest()

Reports whether multiple test objectives are verified per test sequence.

Returns:

true, if multiple objectives per test are to be verified.

getMultiTest

public java.lang.Boolean getMultiTest()

Optionally reports whether multiple test objectives are verified per test sequence. Only used during unmarshalling, to store the optional multiTest attribute.

Returns:

true, or null.

setMultiTest

public Specification setMultiTest(boolean multiTest)

Sets whether to verify multiple test objectives per test sequence.

Parameters:

multiTest - true, if multiple objectives per test are to be verified.

Returns:

this Specification.