Test Adequacy Assessment
7.10.9.8 Break Out to nth Enclosing Level
Execution of a break inside a loop forces the loop to terminate. This
causes the resumption of execution of the outer loop, if any. How-
ever, the condition that caused the execution of break might be in-
tended to terminate the execution of the immediately enclosing loop,
or in general, the nth enclosing loop. This is the fault modeled by
SBRn.
Let a break (or a continue) statement be inside a loop nested n-
levels deep. A statement with only one enclosing loop is considered to
be nested one-level deep. The SBRn operator systematically replaces the
break (or the continue) by the function break_out_to_level-n(j), for
2 ≤ j ≤ n. When an SBRn mutant executes, the execution of the mutated ...