Uses of Class
uk.ac.sheffield.vtts.model.Specification

Packages that use Specification

Package	Description
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.

Uses of Specification in uk.ac.sheffield.vtts.model

Subclasses of Specification in uk.ac.sheffield.vtts.model

Modifier and Type	Class and Description
class	Service Service represents a a model or specification of a software service.
class	TestSuite TestSuite represents a set of generated high-level test testSequences.

Methods in uk.ac.sheffield.vtts.model that return Specification

Modifier and Type	Method and Description
Specification	Specification.setMultiTest(boolean multiTest) Sets whether to verify multiple test objectives per test sequence.
Specification	Specification.setTestDepth(int testDepth) Sets the maximum bounded path length of test sequences to explore from each state.