Class BranchEngine
- java.lang.Object
-
- ru.ispras.microtesk.test.engine.branch.BranchEngine
-
- All Implemented Interfaces:
Engine
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.
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
ATTR_BRANCHES
Attributebranches
is used to mark branch instructions to be used.static java.lang.String
ATTR_EXECUTED
Attributeexecuted
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 Summary
Constructors Constructor Description BranchEngine()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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)
-
-
-
Field Detail
-
ID
public static final java.lang.String ID
- See Also:
- Constant Field Values
-
USE_DELAY_SLOTS
public static final boolean USE_DELAY_SLOTS
- See Also:
- Constant Field Values
-
IF_THEN_SITUATION_SUFFIX
public static final java.lang.String IF_THEN_SITUATION_SUFFIX
- See Also:
- Constant Field Values
-
GOTO_SITUATION_SUFFIX
public static final java.lang.String GOTO_SITUATION_SUFFIX
- See Also:
- Constant Field Values
-
AUTO_LABEL_PREFIX
public static final java.lang.String AUTO_LABEL_PREFIX
- See Also:
- Constant Field Values
-
ATTR_EXECUTED
public static final java.lang.String ATTR_EXECUTED
Attributeexecuted
is used to mark executed and non-taken code.- See Also:
- Constant Field Values
-
ATTR_BRANCHES
public static final java.lang.String ATTR_BRANCHES
Attributebranches
is used to mark branch instructions to be used.- See Also:
- Constant Field Values
-
-
Method Detail
-
getSequenceSelector
public SequenceSelector getSequenceSelector()
- Specified by:
getSequenceSelector
in interfaceEngine
-
configure
public void configure(java.util.Map<java.lang.String,java.lang.Object> attributes)
-
solve
public ru.ispras.testbase.knowledge.iterator.Iterator<AbstractSequence> solve(EngineContext engineContext, AbstractSequence abstractSequence)
-
onStartProgram
public void onStartProgram()
- Specified by:
onStartProgram
in interfaceEngine
-
onEndProgram
public void onEndProgram()
- Specified by:
onEndProgram
in interfaceEngine
-
-