Class 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 Detail

      • 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
        Attribute executed is used to mark executed and non-taken code.
        See Also:
        Constant Field Values
      • ATTR_BRANCHES

        public static final java.lang.String ATTR_BRANCHES
        Attribute branches is used to mark branch instructions to be used.
        See Also:
        Constant Field Values
    • Constructor Detail

      • BranchEngine

        public BranchEngine()