| 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.model |
This package contains Broker@Cloud components for modelling service
specifications and test suites, and for modelling expressions in the formal
expression language.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
VerifyProtocol.main(java.lang.String[] args)
Reads an XML service specification from the input file, and, if no
faults are found, checks the protocol of the specification for input
completeness.
|
static void |
ValidateMachine.main(java.lang.String[] args)
Reads an XML service specification from the input file, and, if no
faults are found, checks the finite state machine for transition
completeness.
|
static void |
GroundTests.main(java.lang.String[] args)
Reads a high-level XML test suite from the input file and, if no
errors are found, generates an output file containing the source code
for a JUnit test driver, using the grounding parameter to select a
particular grounding strategy, and the meta-check parameter to indicate
whether to generate extra service calls to verify full state and
transition behaviour.
|
static void |
GenerateTests.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.
|
| Modifier and Type | Method and Description |
|---|---|
Function |
Function.addExpression(Expression expression)
Adds an expression as an operand to this functional expression.
|
java.lang.Boolean |
Comparison.evaluate()
Executes this Comparison predicate on its operands.
|
protected abstract void |
Function.nameCheck()
Checks the chosen name for this Function and sets the maximum number
of operands.
|
protected void |
Atomic.nameCheck()
Checks the name of an Atomic predicate and sets the number of
operands.
|
protected void |
Projection.nameCheck()
Checks the name of this Projection expression and sets the number
of operands to one for a projection and two for a pair construction.
|
protected void |
Element.semanticError(java.lang.String message)
Reports a semantic error during model construction.
|
protected abstract void |
Function.typeCheck()
Checks that the operand types and result type are consistent, for
this kind of Function.
|
protected void |
Atomic.typeCheck()
Checks the type of this Atomic predicate.
|
protected void |
Assignment.typeCheck()
Checks that the operand types of this Assignment are consistent, and
the result type is Void.
|
protected void |
Projection.typeCheck()
Checks that the types of the operands and result are consistent.
|