| Package | Description |
|---|---|
| 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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.
|