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 bounded length.Modifier and Type | Field and Description |
---|---|
static java.lang.String |
GOTO_SITUATION_SUFFIX |
static java.lang.String |
IF_THEN_SITUATION_SUFFIX |
static java.lang.String |
PARAM_BRANCH_LIMIT
Maximum number of executions of a single branch instruction.
|
static int |
PARAM_BRANCH_LIMIT_DEFAULT |
static java.lang.String |
PARAM_TRACE_LIMIT
Maximum number of execution traces to be enumerated.
|
static int |
PARAM_TRACE_LIMIT_DEFAULT |
Constructor and Description |
---|
BranchEngine() |
Modifier and Type | Method and Description |
---|---|
void |
configure(java.util.Map<java.lang.String,java.lang.Object> attributes) |
void |
onEndProgram() |
void |
onStartProgram() |
EngineResult |
solve(EngineContext engineContext,
AbstractSequence abstractSequence) |
public static final java.lang.String PARAM_BRANCH_LIMIT
public static final int PARAM_BRANCH_LIMIT_DEFAULT
public static final java.lang.String PARAM_TRACE_LIMIT
public static final int PARAM_TRACE_LIMIT_DEFAULT
public static final java.lang.String IF_THEN_SITUATION_SUFFIX
public static final java.lang.String GOTO_SITUATION_SUFFIX
public void configure(java.util.Map<java.lang.String,java.lang.Object> attributes)
public EngineResult solve(EngineContext engineContext, AbstractSequence abstractSequence)
public void onStartProgram()
onStartProgram
in interface Engine
public void onEndProgram()
onEndProgram
in interface Engine