| 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 |