Interface | Description |
---|---|
Executor.Listener |
The
Executor.Listener interface is to be implemented by classes that monitor
execution of instruction calls. |
Class | Description |
---|---|
Executor |
The role of the
Executor class is to execute (simulate) sequences of instruction calls
(concrete calls). |
ExecutorCode | |
LabelManager |
The role of the
LabelManager class is resolving references to labels that have the same
names, but are defined in different blocks. |
LabelManager.Target |
The
LabelManager.Target class stores information about the target the specified label points to. |
Printer |
The Printer class is responsible for printing generated symbolic test programs (sequences of
concrete calls to a file and to the screen).
|
SelfCheck | |
Statistics |
The
Statistics class collects statistical information and performance metrics
during test program generation. |
TestEngine | |
TestSequence |
The
TestSequence class describes a test sequence, a symbolic test program (or a part of a
test program) that consists of concrete calls which can be simulated on the microprocessor model
or dumped to textual representation (assembler code). |
TestSequence.Builder |
Enum | Description |
---|---|
Statistics.Activity |
Exception | Description |
---|---|
GenerationAbortedException |