Mathematical Problems in Engineering

Research Article

Path-Wise Test Data Generation Based on Heuristic Look-Ahead Methods

Algorithm 6

Bisection.
Input   = [min, max]: the current domain of
    : the current value of that causes Br( )( , ) to be false
   ( ): the conflicted branch
Output   : the reduced domain of
Begin
(1) ;
(2) Tendency( ) ← retrieval of tendency map held by ( , );
(3) ++;
(4) if (Tendency( ) = positive)
(5)    ← [ , max];
(6) else  if (Tendency( ) = negative)
(7)     ← [min, ];
(8) return   ;
End