public final class TestSequence
extends java.lang.Object
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). The sequence is split into tree parts: (1)
prologue that holds the initialization code and (2) body that holds the main code (test case)
and (3) self-checks that must be generated after simulating the sequence.Modifier and Type | Class and Description |
---|---|
static class |
TestSequence.Builder |
Modifier and Type | Method and Description |
---|---|
java.util.List<ConcreteCall> |
getAll() |
java.util.List<ConcreteCall> |
getBody() |
java.util.List<SelfCheck> |
getChecks() |
java.util.List<ConcreteCall> |
getPrologue() |
boolean |
isEmpty() |
public java.util.List<ConcreteCall> getAll()
public java.util.List<ConcreteCall> getPrologue()
public java.util.List<ConcreteCall> getBody()
public java.util.List<SelfCheck> getChecks()
public boolean isEmpty()