- uk.ac.sheffield.vtts - package uk.ac.sheffield.vtts
-
This package contains four command-line programs to launch the validation,
verification, test generation and test grounding tools individually.
- uk.ac.sheffield.vtts.client.pojo - package uk.ac.sheffield.vtts.client.pojo
-
This package contains example Java POJO clients for testing with generated
JUnit test drivers that test Java POJO services.
- uk.ac.sheffield.vtts.client.rs - package uk.ac.sheffield.vtts.client.rs
-
This package contains service components and witness-types for testing
with generated JUnit test drivers that test JAX-RS REST services.
- uk.ac.sheffield.vtts.client.ws - package uk.ac.sheffield.vtts.client.ws
-
This package contains skeleton JAX-WS Java clients for testing with
generated JUnit test drivers that test JAX-WS Java clients for SOAP services.
- uk.ac.sheffield.vtts.ground - package uk.ac.sheffield.vtts.ground
-
This package contains Broker@Cloud components that implement grounding,
or the translation of platform-neutral test suites to technology-specific
test suites that may be executed.
- uk.ac.sheffield.vtts.gui - package uk.ac.sheffield.vtts.gui
-
This package contains a simple Java Swing graphical user interface that
allows you to run the Broker@Cloud Verification and Testing Tool Suite as a
stand-alone Java application.
- uk.ac.sheffield.vtts.model - package uk.ac.sheffield.vtts.model
-
This package contains Broker@Cloud components for modelling service
specifications and test suites, and for modelling expressions in the formal
expression language.
- uk.ac.sheffield.vtts.web - package uk.ac.sheffield.vtts.web
-
This package contains four Java programs designed to be launched by CGI
scripts, in order to offer the validation, verification, test generation
and test grounding tools online, as web-services.
- unbind() - Method in class uk.ac.sheffield.vtts.model.Constant
-
Degenerate method to unbind this Constant.
- unbind() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Unbinds this Expression.
- unbind() - Method in class uk.ac.sheffield.vtts.model.Function
-
Unbinds the operands of this Function.
- unbind() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Unbinds this Parameter.
- unbind() - Method in class uk.ac.sheffield.vtts.model.Scope
-
Unbinds the variable Parameters in this Scope.
- unselectRow() - Method in class uk.ac.sheffield.vtts.client.pojo.ContactList
-
Attempts to unselect a row in this ContactList.
- useEndpoint(String) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
Tells this Grounding to use the given root URI as the endpoint for the
service (optional).
- useEndpoint(String) - Method in interface uk.ac.sheffield.vtts.ground.Grounding
-
Tells this Grounding to use the given root URI as the endpoint for the
service (optional).
- useEndpoint(String) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
-
Tells this Grounding to use the given root URI as the endpoint.
- useSourcePackage(String) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
Sets the name of the source Java package for the System-Under-Test.
- useSourcePackage(String) - Method in interface uk.ac.sheffield.vtts.ground.Grounding
-
Sets the name of the source package for the System-Under-Test.
- useSourcePackage(String) - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Adds a package path name to the set of package names for source files.
- useSourcePackage(String) - Method in class uk.ac.sheffield.vtts.ground.JavaFactory
-
Adds a user-defined source package to the Java package locations known
by this JavaFactory.
- useTargetPackage(String) - Method in class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
Sets the name of the target Java package for the JUnit Test Driver.
- useTargetPackage(String) - Method in interface uk.ac.sheffield.vtts.ground.Grounding
-
Sets the name of the target package for the generated Test Driver class.
- useTargetPackage(String) - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Sets the path name of the package for the generated target file.