uk.ac.sheffield.vtts

Class GenerateTests

java.lang.Object

uk.ac.sheffield.vtts.GenerateTests

public class GenerateTests
extends java.lang.Object

Program that reads an XML service specification and generates a high-level test suite from the specification. Use this program to generate optimal tests, stored in a technology-neutral XML format, after completing the earlier validation and verification steps. The program simulates the complete Stream X-Machine specification and explores all paths through the state machine and protocol, up to a given depth. Warnings are given if states are unreachable, or if guarded transitions in the specification are not covered by the generated test suite. An analysis is given of the test optimisation performed, which removes infeasible sequences (blocked by guards), redundant sequences (covered by earlier tests) and optional test-compression, achieved by merging shorter sequences with longer sequences that have the shorter as a prefix. Requires ASTReader, ASTWriter, ASTError, NodeError from the JAST package.

Version:

Broker@Cloud 1.0

Author:

Anthony J H Simons

Constructor Summary

Constructors

Constructor and Description
GenerateTests()

Method Summary

Methods

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) Reads an XML service specification from the input file, and, if no faults are found, generates a high-level XML test suite, using the test depth parameter to control the maximum length of test sequences to explore from every state, and the multi-test parameter to determine whether to merge simple tests into multi-objective tests.

Methods inherited from class java.lang.Object

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

Constructor Detail

GenerateTests

public GenerateTests()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException,
                        java.lang.IllegalArgumentException,
                        org.jast.ast.ASTError,
                        org.jast.ast.NodeError,
                        SemanticError

Reads an XML service specification from the input file, and, if no faults are found, generates a high-level XML test suite, using the test depth parameter to control the maximum length of test sequences to explore from every state, and the multi-test parameter to determine whether to merge simple tests into multi-objective tests. Simulates the specification exhaustively to the given test depth, then prunes the resulting test sequences to create a feasible and non-redundant set of sequences, possibly compressed after multi-objective merging. The service specification may define the test depth and multi-test parameters, or these may optionally be supplied here.

Parameters:

args - the XML service specification file, containing a root Service node; and optionally an integer test depth (zero by default) and a boolean flag to indicate multi-objective testing (false by default). Values for the optional parameters may also be set in the service specification.

Throws:

java.io.IOException - if a file system related I/O error occurs.

java.lang.IllegalArgumentException - if an invalid argument is supplied.

org.jast.ast.ASTError - if an XML syntax error is found in the input.

org.jast.ast.NodeError - if marshalling or unmarshalling the model fails.

SemanticError - if a semantic error is detected in the model.