- Machine - Class in uk.ac.sheffield.vtts.model
-
Machine represents a named finite state Machine.
- Machine() - Constructor for class uk.ac.sheffield.vtts.model.Machine
-
Creates a default finite state Machine.
- Machine(String) - Constructor for class uk.ac.sheffield.vtts.model.Machine
-
Creates a named finite state Machine.
- main(String[]) - Static method in class uk.ac.sheffield.vtts.GenerateTests
-
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.
- main(String[]) - Static method in class uk.ac.sheffield.vtts.GroundTests
-
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.
- main(String[]) - Static method in class uk.ac.sheffield.vtts.gui.BrokerAtCloudVTTS
-
- main(String[]) - Static method in class uk.ac.sheffield.vtts.ValidateMachine
-
Reads an XML service specification from the input file, and, if no
faults are found, checks the finite state machine for transition
completeness.
- main(String[]) - Static method in class uk.ac.sheffield.vtts.VerifyProtocol
-
Reads an XML service specification from the input file, and, if no
faults are found, checks the protocol of the specification for input
completeness.
- main(String[]) - Static method in class uk.ac.sheffield.vtts.web.WebGenerateTests
-
Reads the URL-encoded POST-data on standard input, decodes this as a
Java map containing a key "url" associated with a value, the URL of
the specification file; a key "depth" associated with a non-negative
integer representing the depth of testing from each state; and a key
"multi" associated with a boolean flag requesting multi-objective
test generation.
- main(String[]) - Static method in class uk.ac.sheffield.vtts.web.WebGroundTests
-
Reads the URL-encoded POST-data on standard input, decodes this as a
Java map containing a key "url" associated with a value, the URL of
the specification file; a key "depth" associated with a non-negative
integer representing the depth of testing from each state; and a key
"multi" associated with a boolean flag requesting multi-objective
test generation.
- main(String[]) - Static method in class uk.ac.sheffield.vtts.web.WebValidateMachine
-
Reads the URL-encoded POST-data on standard input, decodes this as a
Java map containing the key "url" associated with a value, the URL of
the specification file.
- main(String[]) - Static method in class uk.ac.sheffield.vtts.web.WebVerifyProtocol
-
Reads the URL-encoded POST-data on standard input, decodes this as a
Java map containing the key "url" associated with a value, the URL of
the specification file.
- makeEntityId(String) - Method in class uk.ac.sheffield.vtts.ground.AbstractFactory
-
Try to synthesise an Entity ID in cases where these are manufactured.
- Manipulation - Class in uk.ac.sheffield.vtts.model
-
Manipulation represents an expression manipulating a collection of items.
- Manipulation() - Constructor for class uk.ac.sheffield.vtts.model.Manipulation
-
Creates a default Manipulation expression.
- Manipulation(String) - Constructor for class uk.ac.sheffield.vtts.model.Manipulation
-
Creates a named Manipulation expression.
- Manipulation(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Manipulation
-
Creates a named and typed Manipulation expression.
- maxOperands - Variable in class uk.ac.sheffield.vtts.model.Function
-
The maximum number of operands, initially inactive when set to -1.
- Membership - Class in uk.ac.sheffield.vtts.model
-
Membership represents a cardinality or membership predicate on a
collection.
- Membership() - Constructor for class uk.ac.sheffield.vtts.model.Membership
-
Creates a default Membership predicate.
- Membership(String) - Constructor for class uk.ac.sheffield.vtts.model.Membership
-
Creates a named Membership predicate.
- Memory - Class in uk.ac.sheffield.vtts.model
-
Memory represents the collection of state variables in a software service.
- Memory() - Constructor for class uk.ac.sheffield.vtts.model.Memory
-
Creates a default Memory.
- Memory(String) - Constructor for class uk.ac.sheffield.vtts.model.Memory
-
Creates a Memory with a name.
- mergePrefix(TestSequence) - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Optionally merges a prefix TestSequence with this TestSequence.
- metaCheck - Variable in class uk.ac.sheffield.vtts.ground.AbstractGrounding
-
Boolean flag indicating whether to check full meta-information for
triggered operation scenarios and reached states.
- minus(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Computes the difference of two numerical values.
- ModelFactory - Class in uk.ac.sheffield.vtts.ground
-
ModelFactory is a factory for creating Java models for model-simulation
purposes.
- ModelFactory() - Constructor for class uk.ac.sheffield.vtts.ground.ModelFactory
-
- modulo(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Computes the modulo of two numerical values.
- moreThan(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Comparison
-
Reports whether the first value is greater than the second value.
- multiTest - Variable in class uk.ac.sheffield.vtts.model.Specification
-
A flag determining whether to verify multiple objectives per test.