
Model-Based X-in-the-Loop Testing 319
12.4.2.1 Conditions and jumps
Apart from the simple sequential and parallel composition of modes, stronger concepts to
specify more advanced control flow arrangements, such as conditional execution and rep-
etitions are necessary. TTCN-3 already provides a set of control structures for structured
programming. These control structures, such as if statements, while loops, and for loops are
applicable to the basic TTCN-3 embedded concepts as well. Hence, the definition of mode
repetitions by means of loops, as well as the conditional execution of assertions and assign-
ments inside of modes are allowed. Listing 12.15 ...