Interface | Description |
---|---|
Executor.Listener |
The
Executor.Listener interface is to be implemented by classes that monitor
execution of instruction calls. |
Class | Description |
---|---|
Code |
The
Code class describes the organization of code sections to be simulated. |
Code.Iterator | |
Code2 |
The
Code2 class describes the organization of code sections to be simulated. |
Code2.Entry | |
CodeAllocator | |
ConcreteSequence |
The
ConcreteSequence 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). |
ConcreteSequence.Builder | |
Executor |
The role of the
Executor class is to execute (simulate) instruction calls
(concrete calls). |
Executor.Status |
The
Executor.Status class describes the execution status. |
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 |
The
TestEngine class is responsible for generation of test programs. |
Enum | Description |
---|---|
Statistics.Activity |
Exception | Description |
---|---|
GenerationAbortedException |