- GenerateTests - Class in uk.ac.sheffield.vtts
-
Program that reads an XML service specification and generates a high-level
test suite from the specification.
- GenerateTests() - Constructor for class uk.ac.sheffield.vtts.GenerateTests
-
- generateTests() - Method in class uk.ac.sheffield.vtts.model.Service
-
Generates the TestSuite for this Service, using generation parameters
from this Service.
- generateTests(int, boolean) - Method in class uk.ac.sheffield.vtts.model.Service
-
Generates the TestSuite for this Service, using the given generation
parameters.
- generateTestSequence(Sequence) - Method in class uk.ac.sheffield.vtts.model.Service
-
Generates a single TestSequence from an abstract Sequence of Events.
- generateTestStep(Event) - Method in class uk.ac.sheffield.vtts.model.Service
-
Generates a single TestStep from an abstract Event.
- generateTestSuite(Language) - Method in class uk.ac.sheffield.vtts.model.Service
-
Generates the TestSuite for this Service, by simulating the Service
using a bounded Language.
- getAlphabet() - Method in class uk.ac.sheffield.vtts.model.Machine
-
Returns the Alphabet of this Machine.
- getAlphabet() - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Returns the Alphabet of this Protocol.
- getAssignment(String) - Method in class uk.ac.sheffield.vtts.model.Binding
-
Returns the Assignment to a named Parameter stored in this Binding.
- getAssignments() - Method in class uk.ac.sheffield.vtts.model.Binding
-
Returns all the Assignments associated with this Binding.
- getBalance() - Method in class uk.ac.sheffield.vtts.client.pojo.Account
-
Attempts to inspect the current balance.
- getBaseType(String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Extracts the base-type name from any parametric type.
- getBill() - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
In the Checkout or Payment states, enacts getBill/ok and returns the
total cost of items in the cart.
- getBill() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Returns the total amount owing for all purchases.
- getBinding() - Method in class uk.ac.sheffield.vtts.model.Memory
-
Returns the Binding of Memory Variables to their initial values.
- getBinding() - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Returns the Binding of Expressions to Variables in this Scenario.
- getBound() - Method in class uk.ac.sheffield.vtts.model.Constant
-
Degenerate method to fetch the bound status for marshalling.
- getBound() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Optionally returns the value of the bound flag for marshalling.
- getComplement() - Method in class uk.ac.sheffield.vtts.model.Condition
-
Returns the complement of the guard Predicate.
- getCondition() - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Returns the guard Condition for this Scenario.
- getConstants() - Method in class uk.ac.sheffield.vtts.model.Memory
-
Returns the set of Constants in this Memory.
- getContent() - Method in class uk.ac.sheffield.vtts.model.Parameter
-
Returns the content of this Parameter.
- getCurrentState() - Method in class uk.ac.sheffield.vtts.model.Machine
-
Returns the current State;
- getDocument(Integer) - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
If LoggedIn, attempts to retrieve a Document with the given docid.
- getDocument(Integer) - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Attempts to retrieve a document under the docid.
- getDocumentStorePort() - Method in class uk.ac.sheffield.vtts.client.ws.DocumentStoreService
-
Retrieves the DocumentStoreInterface.
- getEffect() - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Returns the Effect, the updated binding of Expressions to Parameters.
- getElement() - Method in error uk.ac.sheffield.vtts.model.SemanticError
-
Returns the faulty Element in which this SemanticError occurred.
- getElements() - Method in class uk.ac.sheffield.vtts.model.Notice
-
Returns the list of Elements described by this Notice, if any.
- getEnabled(Event) - Method in class uk.ac.sheffield.vtts.model.State
-
Returns the exit Transition whose name matches a given event.
- getEncryption() - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
If LoggedIn, enacts getEncryption/ok and returns the encryption
standard for the customer.
- getEncryption() - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Returns the encryption standard for the customer.
- getEvents() - Method in class uk.ac.sheffield.vtts.model.Alphabet
-
Returns the set of events in this alphabet.
- getEvents() - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Returns the ordered list of events.
- getExpressions() - Method in class uk.ac.sheffield.vtts.model.Function
-
Returns a list of the operand expressions governed by this functional
expression.
- getFailures() - Method in class uk.ac.sheffield.vtts.model.Operation
-
Returns the set of Failures of this Operation.
- getFirstEvent() - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Returns the first event in this Sequence.
- getGrounding() - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Returns the grounding specified for this TestSuite, if any.
- getHolder() - Method in class uk.ac.sheffield.vtts.client.pojo.Account
-
Attempts to inspect the current holder.
- getImports() - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Returns all the needed package locations as a List of Strings.
- getInitial() - Method in class uk.ac.sheffield.vtts.model.State
-
Optionally reports whether this is the initial State.
- getInitialState() - Method in class uk.ac.sheffield.vtts.model.Machine
-
Returns the initial State.
- getInputs() - Method in class uk.ac.sheffield.vtts.model.Operation
-
Returns the set of Inputs in this Operation.
- getKeyType(String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Extracts the search key-type name from any parametric type.
- getLastEvent() - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Returns the last event in this Sequence.
- getMachine() - Method in class uk.ac.sheffield.vtts.model.Service
-
Returns the finite state Machine of this Service.
- getMemory() - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Returns the memory of this service.
- getMetaCheck() - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Optionally reports whether meta-checks of full state and transition
behaviour are to be performed.
- getMultiTest() - Method in class uk.ac.sheffield.vtts.model.Specification
-
Optionally reports whether multiple test objectives are verified per
test sequence.
- getName() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Returns the name of an Expression.
- getName() - Method in class uk.ac.sheffield.vtts.model.Named
-
Returns the name of a Named element.
- getName() - Method in class uk.ac.sheffield.vtts.model.Specification
-
Returns the name of a Specification.
- getName() - Method in class uk.ac.sheffield.vtts.model.State
-
Returns the name of a State.
- getName() - Method in class uk.ac.sheffield.vtts.model.Transition
-
Returns the name of a Transition.
- getNextList(List<?>, String, boolean) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Creates the successor, or predecessor of a list, depending on a flag.
- getNextMap(Map<?, ?>, String, boolean) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Creates the successor, or predecessor of a map, depending on a flag.
- getNextPair(Map.Entry<?, ?>, String, boolean) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Creates the successor, or predecessor of a pair, depending on a flag.
- getNextSet(Set<?>, String, boolean) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Creates the successor, or predecessor of a set, depending on a flag.
- getNotice() - Method in class uk.ac.sheffield.vtts.model.Annotated
-
Returns the Notice attached to this Annotated element.
- getNotices() - Method in class uk.ac.sheffield.vtts.model.Notice
-
Returns the list of subsidiary Notices under this Notice, if any.
- getOperation(String) - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Returns the Operation with the specified unique name.
- getOperation(Event) - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Returns the Operation corresponding to the supplied Event.
- getOperation() - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Returns the Operation exercised by this TestStep.
- getOperations() - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Returns all the Operations of this Protocol, as a set.
- getOutputs() - Method in class uk.ac.sheffield.vtts.model.Operation
-
Returns the set of Outputs in this Operation.
- getPairType(String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Extracts the tuple pair-type name from any parametric type.
- getParameter(String) - Method in class uk.ac.sheffield.vtts.model.Scope
-
Returns the named Parameter stored in this Scope.
- getParameters() - Method in class uk.ac.sheffield.vtts.model.Scope
-
Returns the set of all Parameters, both Constants and Variables.
- getPartitions() - Method in class uk.ac.sheffield.vtts.model.Condition
-
Returns the set of all possible atomic predicates and their negations
that can be derived from this Condition's guard.
- getPartitions(Notice) - Method in class uk.ac.sheffield.vtts.model.Operation
-
Returns the possible symbolic input partitions for this Operation.
- getPartitions() - Method in class uk.ac.sheffield.vtts.model.Scenario
-
Returns the set of all possible atomic predicates and their negations
that can be derived from this Scenario's Condition.
- getPath() - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Returns the length of the path explored from the covered State.
- getPredecessor(Object, String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Returns the predecessor of a value of the given type.
- getPredicate() - Method in class uk.ac.sheffield.vtts.model.Condition
-
Returns the Predicate guard.
- getPredicates() - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Returns the list of operand Predicates governed by this Proposition.
- getProtocol() - Method in class uk.ac.sheffield.vtts.model.Service
-
Returns the Protocol of this service.
- getScenario() - Method in class uk.ac.sheffield.vtts.client.pojo.Account
-
Returns the last scenario that was enacted.
- getScenario() - Method in class uk.ac.sheffield.vtts.client.pojo.ContactList
-
Returns the last scenario that was enacted.
- getScenario() - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
Returns the last scenario that was enacted.
- getScenario() - Method in class uk.ac.sheffield.vtts.client.pojo.HolidayBooking
-
Returns the last scenario that was enacted.
- getScenario() - Method in class uk.ac.sheffield.vtts.client.pojo.Login
-
Returns the last scenario that was enacted.
- getScenario() - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
Returns the last scenario that was enacted.
- getScenario() - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Returns the last scenario that was enacted.
- getScenario() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Returns the last scenario that was enacted.
- getScenario(String) - Method in class uk.ac.sheffield.vtts.model.Operation
-
Returns the Scenario with the specified unique name, if it exists.
- getScenario(Event) - Method in class uk.ac.sheffield.vtts.model.Operation
-
Returns the Scenario corresponding to the supplied Event.
- getScenario(Event) - Method in class uk.ac.sheffield.vtts.model.Protocol
-
Returns the Scenario corresponding to the supplied Event.
- getScenarios() - Method in class uk.ac.sheffield.vtts.model.Operation
-
Returns this Operation's Scenarios as an ordered Set.
- getSequences() - Method in class uk.ac.sheffield.vtts.model.Language
-
Returns the set of sequences that constitute this language.
- getShoppingCartPort() - Method in class uk.ac.sheffield.vtts.client.ws.ShoppingCartService
-
Retrieves the ShoppingCartInterface.
- getSource() - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Returns the name of the expected source State.
- getSource() - Method in class uk.ac.sheffield.vtts.model.Transition
-
Returns the name of the source State.
- getSourcePackages() - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Returns the user-defined source package names as a set of Strings.
- getState() - Method in class uk.ac.sheffield.vtts.client.pojo.Account
-
Returns the last state that was entered.
- getState() - Method in class uk.ac.sheffield.vtts.client.pojo.ContactList
-
Returns the last state that was entered.
- getState() - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
Returns the last state that was entered.
- getState() - Method in class uk.ac.sheffield.vtts.client.pojo.HolidayBooking
-
Returns the last state that was entered.
- getState() - Method in class uk.ac.sheffield.vtts.client.pojo.Login
-
Returns the last state that was entered.
- getState() - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
Returns the last state that was entered.
- getState() - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Returns the last state that was entered.
- getState() - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Returns the last state that was entered.
- getState(String) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Returns the unique State with the given name.
- getState() - Method in class uk.ac.sheffield.vtts.model.Sequence
-
Returns the name of the state covered by this Sequence.
- getState() - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Returns the name of the expected target State.
- getStateCover() - Method in class uk.ac.sheffield.vtts.model.Machine
-
Calculates the state cover for this Machine.
- getStateCover(Alphabet) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Calculates the state cover for this Machine.
- getStateCover(Alphabet) - Method in class uk.ac.sheffield.vtts.model.Service
-
Calculates the state cover for this Service.
- getStates() - Method in class uk.ac.sheffield.vtts.model.Machine
-
Returns the set of States belonging to this Machine.
- getStorageLimit() - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
If LoggedIn, enacts getStorageLimit/ok and returns the allocated
storage for the customer.
- getStorageLimit() - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Returns the storage allocation limit for the customer.
- getStorageUsed() - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
If LoggedIn, enacts getStorageUsed/ok and returns the storage used
by the customer.
- getStorageUsed() - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Returns the storage used by the customer.
- getSuccessor(Object, String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Returns the successor of a value of the given type.
- getSystem() - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Returns the name of the System Under Test (SUT).
- getTarget() - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Returns the name of the expected target State.
- getTarget() - Method in class uk.ac.sheffield.vtts.model.Transition
-
Returns the name of the target State.
- getTargetPackage() - Method in class uk.ac.sheffield.vtts.ground.JavaDependency
-
Returns the name of the user-defined target package.
- getTest() - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Returns the test index of this TestSequence.
- getTestDepth() - Method in class uk.ac.sheffield.vtts.model.Specification
-
Reports the maximum bounded path length of test sequences to explore
from each state.
- getTestDriver() - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Returns the name of the Test Driver (TD) for the System Under Test
(SUT).
- getTestSequences() - Method in class uk.ac.sheffield.vtts.model.TestSuite
-
Returns the set of TestSequences that constitute this TestSuite.
- getTestSteps() - Method in class uk.ac.sheffield.vtts.model.TestSequence
-
Returns the ordered list of TestSteps.
- getText() - Method in class uk.ac.sheffield.vtts.model.Notice
-
Returns the text of this Notice.
- getTransition(String) - Method in class uk.ac.sheffield.vtts.model.State
-
Returns the unique exit Transition with the given name.
- getTransitionCover(int) - Method in class uk.ac.sheffield.vtts.model.Machine
-
Calculates the n-transition cover for this Machine.
- getTransitions() - Method in class uk.ac.sheffield.vtts.model.Machine
-
Returns the set of Transitions belonging to this Machine.
- getTransitions() - Method in class uk.ac.sheffield.vtts.model.State
-
Returns the list of exit Transitions for this State.
- getType() - Method in class uk.ac.sheffield.vtts.model.Expression
-
Returns the type of this Expression.
- getType() - Method in class uk.ac.sheffield.vtts.model.Function
-
Returns the result type of this Function.
- getType() - Method in class uk.ac.sheffield.vtts.model.Manipulation
-
Returns the result type of this Manipulation.
- getType() - Method in class uk.ac.sheffield.vtts.model.Projection
-
Returns the result type of this Projection.
- getValueType(String) - Method in class uk.ac.sheffield.vtts.ground.ModelFactory
-
Extracts the value-type name from any parametric type.
- getVariables() - Method in class uk.ac.sheffield.vtts.model.Memory
-
Returns the set of Variables in this Memory.
- getVerify() - Method in class uk.ac.sheffield.vtts.model.TestStep
-
Returns whether this TestStep step is verified, as a Boolean object.
- getVersion(Integer, Integer) - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
If LoggedIn, attempts to retrieve a Document with the given docid and
version number.
- getVersion(Integer, Integer) - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Attempts to retrieve a given version of a document with the given
docid.
- Grounding - Interface in uk.ac.sheffield.vtts.ground
-
Grounding is the abstract interface satisfied by concrete test generators.
- GroundTests - Class in uk.ac.sheffield.vtts
-
Program that reads a high-level test suite and generates an executable
JUnit test driver.
- GroundTests() - Constructor for class uk.ac.sheffield.vtts.GroundTests
-
- groundTestSequence(TestSequence) - Method in interface uk.ac.sheffield.vtts.ground.Grounding
-
Intermediate grounding method.
- groundTestSequence(TestSequence) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
-
Translates one abstract TestSequence into a JUnit test-method.
- groundTestSequence(TestSequence) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
-
Translates one abstract TestSequence into a JUnit test-method.
- groundTestSequence(TestSequence) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
-
Translates one abstract TestSequence into a JUnit test-method.
- groundTestStep(TestStep) - Method in interface uk.ac.sheffield.vtts.ground.Grounding
-
Low level grounding method.
- groundTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
-
Translates one abstract TestStep into Java set-up and evaluation code.
- groundTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
-
Translates one abstract TestStep into Java set-up and evaluation code.
- groundTestStep(TestStep) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
-
Translates one abstract TestStep into Java set-up and evaluation code.
- groundTestSuite(TestSuite) - Method in interface uk.ac.sheffield.vtts.ground.Grounding
-
Top level grounding method.
- groundTestSuite(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JavaGrounding
-
Translates an abstract TestSuite into a grounded suite of tests.
- groundTestSuite(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxRsGrounding
-
Translates an abstract TestSuite into a grounded suite of tests.
- groundTestSuite(TestSuite) - Method in class uk.ac.sheffield.vtts.ground.JaxWsGrounding
-
Translates an abstract TestSuite into a grounded suite of tests.