| Interface | Description |
|---|---|
| EventConstructor |
abstract class that hold API to create event trees
this factors out constructor methods so that they can be used inside of
EventTrees and EventForests
|
| EventContext |
functional interface that is used to expand events from execution context
|
| PropagatingEventContext |
an EventContext that is invariant and hence can be automatically
propagated along the path
|
| Class | Description |
|---|---|
| CheckEvent |
a pseudo event that encapsulates a (possibly composed) check
This event type uses 'alt' for disjunction and 'next' for conjunction if
they point to CheckEvents
|
| ControlEvent |
pseudo event that is used to control the system under test execution
|
| Event |
class that represents an external stimulus to the SUT, which is produced by EventTree instances
(our environment models)
Note that albeit concrete EventTree can provide their own, specialized Event types, this class
is generic enough that we don't declare it as abstract
|
| EventChoiceGenerator |
ChoiceGenerator for Events.
|
| EventForest |
a forest of named event trees
This class mostly exists for the purpose of tree construction, which happens from respective ctors like
EventForest myForest = new EventForest(){
|
| EventTree |
an abstract class that creates Event trees
While there is no need to provide specialized Event types or additional event
constructors, concrete subclasses have to provide a createRoot() implementation.
|
| NoEvent |
a null event, which is usually ignored by EventProducers
|
| SystemEvent |
event type that is not supposed to be handled by the SUT
|
| TestEventTree |
EventTree that can check traces and coverage against expected traces
for testing purposes.
|