public final class BranchEngine extends java.lang.Object implements Engine
BranchEngine
implements a test engine that constructs test cases by enumerating
feasible execution traces of the bounded length.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ATTR_BRANCHES
Attribute
branches is used to mark branch instructions to be used. |
static java.lang.String |
ATTR_EXECUTED
Attribute
executed is used to mark executed and non-taken code. |
static java.lang.String |
AUTO_LABEL_PREFIX |
static java.lang.String |
GOTO_SITUATION_SUFFIX |
static java.lang.String |
ID |
static java.lang.String |
IF_THEN_SITUATION_SUFFIX |
static boolean |
USE_DELAY_SLOTS |
Constructor and Description |
---|
BranchEngine() |
Modifier and Type | Method and Description |
---|---|
void |
configure(java.util.Map<java.lang.String,java.lang.Object> attributes) |
java.lang.String |
getId() |
SequenceSelector |
getSequenceSelector() |
void |
onEndProgram() |
void |
onStartProgram() |
ru.ispras.testbase.knowledge.iterator.Iterator<AbstractSequence> |
solve(EngineContext engineContext,
AbstractSequence abstractSequence) |
public static final java.lang.String ID
public static final boolean USE_DELAY_SLOTS
public static final java.lang.String IF_THEN_SITUATION_SUFFIX
public static final java.lang.String GOTO_SITUATION_SUFFIX
public static final java.lang.String AUTO_LABEL_PREFIX
public static final java.lang.String ATTR_EXECUTED
executed
is used to mark executed and non-taken code.public static final java.lang.String ATTR_BRANCHES
branches
is used to mark branch instructions to be used.public SequenceSelector getSequenceSelector()
getSequenceSelector
in interface Engine
public void configure(java.util.Map<java.lang.String,java.lang.Object> attributes)
public ru.ispras.testbase.knowledge.iterator.Iterator<AbstractSequence> solve(EngineContext engineContext, AbstractSequence abstractSequence)
public void onStartProgram()
onStartProgram
in interface Engine
public void onEndProgram()
onEndProgram
in interface Engine