| 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.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.model |
This package contains Broker@Cloud components for modelling service
specifications and test suites, and for modelling expressions in the formal
expression language.
|
| Class and Description |
|---|
| SemanticError
SemanticError reports semantic construction errors when building the model.
|
| Class and Description |
|---|
| Input
Input is an input parameter associated with an operation.
|
| Output
Output is an output parameter associated with an operation.
|
| Parameter
Parameter is a kind of expression denoting a named and typed parameter.
|
| TestSequence
TestSequence represents a test whose steps are to be executed in order.
|
| TestStep
TestStep represents a single executable test step within a test sequence.
|
| TestSuite
TestSuite represents a set of generated high-level test testSequences.
|
| Class and Description |
|---|
| Alphabet
Alphabet represents the complete set of events recognised by a machine.
|
| Annotated
Annotated is the ancestor of all annotated elements in the metamodel.
|
| Assignment
Assignment represents a single variable-binding expression.
|
| Atomic
Atomic is a degenerate predicate representing an atomic Boolean value.
|
| Binding
Binding represents a particular set of value-bindings to parameters.
|
| Condition
Condition represents a logical guard, or a precondition.
|
| Constant
Constant is a kind of parameter standing for some fixed constant value.
|
| Coverable
Coverable is the abstract ancestor of coverable parts of a specification.
|
| Effect
Effect represents a particular set of value-modifications to parameters.
|
| Element
Element is the root Element of the metamodel.
|
| Event
Event represents a unique named event recognised by a finite state machine.
|
| Expression
Expression represents a computable expression, with a name and a type.
|
| Failure
Failure is an exception or error parameter associated with an operation.
|
| Function
Function represents a functional expression with a function root node.
|
| Input
Input is an input parameter associated with an operation.
|
| Language
Language represents a set of sequences of various lengths.
|
| Machine
Machine represents a named finite state Machine.
|
| Membership
Membership represents a cardinality or membership predicate on a
collection.
|
| Memory
Memory represents the collection of state variables in a software service.
|
| Named
Named is the ancestor of all named elements in the metamodel.
|
| Notice
Notice is the ancestor of different notice, analysis and warning messages.
|
| Operation
Operation represents an operation in the public interface of a service.
|
| Output
Output is an output parameter associated with an operation.
|
| Parameter
Parameter is a kind of expression denoting a named and typed parameter.
|
| Predicate
Predicate represents a boolean valued function with a predicate root node.
|
| Proposition
Proposition represents a logical expression with a Boolean operator root
node.
|
| Protocol
Protocol is a model of the abstract behaviour of a software service.
|
| Scenario
Scenario represents one branching path through a single operation.
|
| Scope
Scope represents a scope within which parameters may be declared.
|
| SemanticError
SemanticError reports semantic construction errors when building the model.
|
| Sequence
Sequence represents a sequence of events to present to a finite state
machine.
|
| Service
Service represents a a model or specification of a software service.
|
| Specification
Specification is the abstract ancestor of different kinds of specification.
|
| State
State represents a named state in a finite state machine.
|
| TestSequence
TestSequence represents a test whose steps are to be executed in order.
|
| TestStep
TestStep represents a single executable test step within a test sequence.
|
| TestSuite
TestSuite represents a set of generated high-level test testSequences.
|
| Transition
Transition represents a named transition in a finite state machine.
|
| Variable
Variable is a state parameter representing part of the system's memory.
|
| Warning
Warning is a kind of Notice indicating a fault in the associated model.
|