Package ca.uqac.lif.ecp

Class Summary

Class	Description
Alphabet<T>
BoundedRandomTraceGenerator<T extends Event>	Trace generator that picks events randomly.
CayleyCardinalityCoverage<T extends Event,U>	Coverage of a set of traces based on the fraction of all traces whose equivalence class for some triaging function is represented in one of the prefixes of some trace.
CayleyCategoryCoverage<T extends Event,U>	Coverage of a set of traces based on the fraction of all equivalence classes of the triaging function that are present in one of the prefixes of some trace.
CayleyCoverageMetric<T extends Event,U,V>	Coverage metric based on a Cayley graph
CayleyCoverageRadius<T extends Event,U>
CayleyCoverageRadius.RadiusMap	A map from trace length ℓ to a rational number between 0 and 1.
CayleyDiameterCoverage<T extends Event,U>	Coverage of a set of traces based on the maximum length for which all equivalence classes of some triaging function are represented in one of the prefixes of some trace.
CayleyGraph<T extends Event,U>	Implementation of a Cayley Graph.
CayleyGraph.LabelFormatter<X>
CayleyGraphFactory<T extends Event,U>	Generates a Cayley graph using a generic algorithm.
CayleyGraphTraceGenerator<T extends Event,U>	Trace generator using a Cayley Graph.
CayleyVertexLabelling<U>	Labelling of a Cayley Graph.
CoverageMetric<T extends Event,V>	Function associating a test suite to a coverage value
Edge<T extends Event>	Edge of a Cayley graph
Event	Generic representation of an event in a trace
GraphPlotter<T extends Event,U>	Generates a plot from a Cayley Graph
GreedyTestSuiteFilter<T extends Event,U>
GreedyTraceGenerator<T extends Event>	Generates a test suite using a greedy algorithm.
HypergraphTraceGenerator<T extends Event,U>	Trace generator that uses the hypergraph + Steiner tree method.
PrefixCategoryClosure<T extends Event,U>	From a Cayley graph built from a classification function κ, creates a new Cayley graph representing the prefix closure of ∫κ.
RandomTraceGenerator<T extends Event>	Trace generator that picks events randomly
SpanningTreeTraceGenerator<T extends Event,U>	Trace generator that uses a spanning tree of the Cayley graph.
TestSuite<T extends Event>	A collection of traces
TestSuiteFilter<T extends Event,U>
ThresholdRandomTraceGenerator<T extends Event>	Trace generator that picks events randomly.
Trace<T extends Event>	An ordered sequence of events
TraceGenerator<T extends Event>	Generates a set of traces
TriagingFunction<T extends Event,U>	Abstract class defining a function mapping traces to categories
TWayScoringTraceGenerator<T extends Event>	A t-way trace generator.

Enum Summary

Enum	Description
GraphPlotter.Format	The format of the resulting graph.

Exception Summary

Exception	Description
CayleyGraph.IsomorphismException
UnexpectedError	Exception thrown when an unexpected condition occurs.