Test Adequacy Assessment
7.10.9.8 Break Out to Qth Enclosing Level
Execution of a CSFBL 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 CSFBL 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 CSFBL (or a DPOUJOVF) 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
CSFBL (or the DPOUJOVF) by the function break_out_to_level-n(j), for
2 ≤ j ≤ n. When an SBRn mutant executes, the execution of the mutated ...