- TEST_PACKAGE_PATH - Static variable in class uk.ac.sheffield.vtts.GroundTests
-
The test package path in your Java IDE (Eclipse or NetBeans, etc).
- testDepth - Variable in class uk.ac.sheffield.vtts.model.Specification
-
The maximum path length of test sequences to explore from each
state.
- testIndex - Variable in class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
The counter for TestSequences.
- TestSequence - Class in uk.ac.sheffield.vtts.model
-
TestSequence represents a test whose steps are to be executed in order.
- TestSequence() - Constructor for class uk.ac.sheffield.vtts.model.TestSequence
-
Constructs an empty TestSequence.
- TestSequence(Sequence) - Constructor for class uk.ac.sheffield.vtts.model.TestSequence
-
Constructs an empty TestSequence covering the same state and path as
the coverage Sequence.
- TestStep - Class in uk.ac.sheffield.vtts.model
-
TestStep represents a single executable test step within a test sequence.
- TestStep() - Constructor for class uk.ac.sheffield.vtts.model.TestStep
-
Creates a default TestStep.
- TestStep(String) - Constructor for class uk.ac.sheffield.vtts.model.TestStep
-
Creates a named TestStep.
- TestSuite - Class in uk.ac.sheffield.vtts.model
-
TestSuite represents a set of generated high-level test testSequences.
- TestSuite() - Constructor for class uk.ac.sheffield.vtts.model.TestSuite
-
Creates an empty TestSuite.
- TestSuite(String, int) - Constructor for class uk.ac.sheffield.vtts.model.TestSuite
-
Creates an empty TestSuite for the given system and test depth.
- text - Variable in class uk.ac.sheffield.vtts.model.Notice
-
A short text string indicating the text.
- timeout() - Method in class uk.ac.sheffield.vtts.client.pojo.Login
-
Attempts to time a user out of the system.
- TIMEOUT - Static variable in class uk.ac.sheffield.vtts.model.Machine
-
The timeout for state-space searches, set to five seconds.
- TIMEOUT - Static variable in class uk.ac.sheffield.vtts.model.Service
-
The timeout for state-space searches, set to five seconds.
- times(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Computes the product of two numerical values.
- toString() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Converts this Atomic predicate to a printable string.
- toString() - Method in class uk.ac.sheffield.vtts.model.Function
-
Converts this function to a printable string.
- toString() - Method in class uk.ac.sheffield.vtts.model.Named
-
Converts this Named element to a printable representation.
- toString() - Method in class uk.ac.sheffield.vtts.model.Operation
-
Returns a printed representation of this Operation.
- toString() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
The printable representation of a parameter is its name.
- Transition - Class in uk.ac.sheffield.vtts.model
-
Transition represents a named transition in a finite state machine.
- Transition() - Constructor for class uk.ac.sheffield.vtts.model.Transition
-
Creates a default Transition.
- Transition(String) - Constructor for class uk.ac.sheffield.vtts.model.Transition
-
Creates a named Transition.
- type - Variable in class uk.ac.sheffield.vtts.model.Expression
-
The type of this Expression.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Checks the types of the operands of this Arithmetic expression.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Assignment
-
Checks that the operand types of this Assignment are consistent, and
the result type is Void.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Atomic
-
Checks the type of this Atomic predicate.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Checks that the operand types are consistent, and the result type is
Boolean.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Function
-
Checks that the operand types and result type are consistent, for
this kind of Function.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Checks that the operand and result types are consistent.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Membership
-
Checks that the operand types are consistent and that the result type
is Boolean.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Projection
-
Checks that the types of the operands and result are consistent.
- typeCheck() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Checks the types of the operands of this Proposition predicate.