Uses of Package
ca.uqac.lif.ecp

Packages that use ca.uqac.lif.ecp

Package	Description
ca.uqac.lif.ecp
ca.uqac.lif.ecp.atomic
ca.uqac.lif.ecp.graphs
ca.uqac.lif.ecp.ltl
ca.uqac.lif.ecp.online
ca.uqac.lif.ecp.petrinet	Classes for manipulating specifications expressed as Petri nets.
ca.uqac.lif.ecp.statechart
ca.uqac.lif.ecp.statechart.atomic	UML statecharts made of atomic events

Classes in ca.uqac.lif.ecp used by ca.uqac.lif.ecp

Class and Description
Alphabet
CayleyCoverageMetric Coverage metric based on a Cayley graph
CayleyCoverageRadius.RadiusMap A map from trace length ℓ to a rational number between 0 and 1.
CayleyGraph Implementation of a Cayley Graph.
CayleyGraph.IsomorphismException
CayleyGraph.LabelFormatter
CayleyGraphTraceGenerator Trace generator using a Cayley Graph.
CayleyVertexLabelling Labelling of a Cayley Graph.
CoverageMetric Function associating a test suite to a coverage value
Edge Edge of a Cayley graph
Event Generic representation of an event in a trace
GraphPlotter Generates a plot from a Cayley Graph
GraphPlotter.Format The format of the resulting graph.
RandomTraceGenerator Trace generator that picks events randomly
TestSuite A collection of traces
TestSuiteFilter
Trace An ordered sequence of events
TraceGenerator Generates a set of traces
TriagingFunction Abstract class defining a function mapping traces to categories

Classes in ca.uqac.lif.ecp used by ca.uqac.lif.ecp.atomic

Class and Description
Alphabet
BoundedRandomTraceGenerator Trace generator that picks events randomly.
CayleyGraph Implementation of a Cayley Graph.
CayleyGraphFactory Generates a Cayley graph using a generic algorithm.
CoverageMetric Function associating a test suite to a coverage value
Edge Edge of a Cayley graph
Event Generic representation of an event in a trace
GraphPlotter Generates a plot from a Cayley Graph
GraphPlotter.Format The format of the resulting graph.
GreedyTraceGenerator Generates a test suite using a greedy algorithm.
RandomTraceGenerator Trace generator that picks events randomly
ThresholdRandomTraceGenerator Trace generator that picks events randomly.
Trace An ordered sequence of events
TraceGenerator Generates a set of traces
TriagingFunction Abstract class defining a function mapping traces to categories

Classes in ca.uqac.lif.ecp used by ca.uqac.lif.ecp.graphs

Class and Description
CayleyGraph Implementation of a Cayley Graph.
Edge Edge of a Cayley graph
Event Generic representation of an event in a trace
TestSuite A collection of traces
Trace An ordered sequence of events

Classes in ca.uqac.lif.ecp used by ca.uqac.lif.ecp.ltl

Class and Description
Alphabet
CayleyGraph Implementation of a Cayley Graph.
CayleyGraph.LabelFormatter
CayleyGraphFactory Generates a Cayley graph using a generic algorithm.
CoverageMetric Function associating a test suite to a coverage value
Event Generic representation of an event in a trace
GreedyTraceGenerator Generates a test suite using a greedy algorithm.
Trace An ordered sequence of events
TraceGenerator Generates a set of traces
TriagingFunction Abstract class defining a function mapping traces to categories

Classes in ca.uqac.lif.ecp used by ca.uqac.lif.ecp.online

Class and Description
Event Generic representation of an event in a trace
Trace An ordered sequence of events

Classes in ca.uqac.lif.ecp used by ca.uqac.lif.ecp.petrinet

Class and Description
Event Generic representation of an event in a trace

Classes in ca.uqac.lif.ecp used by ca.uqac.lif.ecp.statechart

Class and Description
CoverageMetric Function associating a test suite to a coverage value
Event Generic representation of an event in a trace
GreedyTraceGenerator Generates a test suite using a greedy algorithm.
Trace An ordered sequence of events
TraceGenerator Generates a set of traces
TriagingFunction Abstract class defining a function mapping traces to categories

Classes in ca.uqac.lif.ecp used by ca.uqac.lif.ecp.statechart.atomic

Class and Description
Alphabet
CayleyGraph Implementation of a Cayley Graph.
CayleyGraphFactory Generates a Cayley graph using a generic algorithm.
TriagingFunction Abstract class defining a function mapping traces to categories