uk.ac.sheffield.vtts.ground

Interface Grounding

All Known Implementing Classes:

AbstractGrounding, JavaGrounding, JaxRsGrounding, JaxWsGrounding

public interface Grounding

Grounding is the abstract interface satisfied by concrete test generators. A Grounding is any class implementing this interface, which encapsulates an algorithm for transforming a high-level TestSuite into a concrete test suite (e.g. JUnit, or SOAP, or REST ...) that can be executed in some live environment. The Grounding interface is designed according to the Visitor Design Pattern. Each of TestSuite, TestSequence and TestStep may receive a Grounding object, which then provides the algorithm to ground that kind of node.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Method Summary

Methods

Modifier and Type	Method and Description
void	groundTestSequence(TestSequence sequence) Intermediate grounding method.
void	groundTestStep(TestStep testStep) Low level grounding method.
void	groundTestSuite(TestSuite testSuite) Top level grounding method.
void	setMetaCheck(boolean value) Selects whether to test the full state and transition behaviour (when true), or just the return values (when false) of the tested service.
void	useEndpoint(java.lang.String serviceURI) Tells this Grounding to use the given root URI as the endpoint for the service (optional).
void	useSourcePackage(java.lang.String packageInfo) Sets the name of the source package for the System-Under-Test.
void	useTargetPackage(java.lang.String packageInfo) Sets the name of the target package for the generated Test Driver class.

Method Detail

groundTestSuite

void groundTestSuite(TestSuite testSuite)

Top level grounding method. This should generate code for the entire TestSuite. The method should open and close the file that contains the resulting generated concrete test suite; and ask every TestSequence in the TestSuite to receive this Grounding, in order to generate the rest of the grounded test suite.

Parameters:

testSuite - the high-level test suite.

groundTestSequence

void groundTestSequence(TestSequence sequence)

Intermediate grounding method. This should generate code for a single TestSequence. This method should generate the skeleton code for the TestSequence and then ask every TestStep contained in this TestSequence to receive this Grounding, in order to generate the instruction steps in the grounded test sequence.

Parameters:

sequence - the high-level test sequence.

groundTestStep

void groundTestStep(TestStep testStep)

Low level grounding method. This should generate code for a single TestStep. This method should convert the operation call into concrete code with concrete arguments and generate a variable to hold the result. If the TestStep is to be verified, this method should generate suitable assertions that check (1) that the triggered operation was the expected one; (2) that the reached state was the expected one; and (3) that any return value was equal to the expected output.

Parameters:

testStep - the high-level test step.

useTargetPackage

void useTargetPackage(java.lang.String packageInfo)

Sets the name of the target package for the generated Test Driver class.

Parameters:

packageInfo - the Test Driver package name.

useSourcePackage

void useSourcePackage(java.lang.String packageInfo)

Sets the name of the source package for the System-Under-Test. The first such package (if added) is used as the location of the top-level SUT class. Any further added packages correspond to places where other user-defined types may be found.

Parameters:

packageInfo - the Service-Under-Test package name.

useEndpoint

void useEndpoint(java.lang.String serviceURI)

Tells this Grounding to use the given root URI as the endpoint for the service (optional). This is used mainly by REST or SOAP groundings that need to supply the endpoint. Some groundings may have encapsulated the endpoint in the service client, so will not need this.

Parameters:

serviceURI - the root URI of the service.

setMetaCheck

void setMetaCheck(boolean value)

Selects whether to test the full state and transition behaviour (when true), or just the return values (when false) of the tested service. When true, the service must provide additional test-mode operations that reveal its states and the last transition fired.

Parameters:

value - true, or false.