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 |
|
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.
|
NumericLabelTracker |
|
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 |
TestEngine is responsible for test program generation.
|