Control Flow Based

Nummerieren die Zeilen

Ueberlegen welche Bloecke werden immer zusammen ausgefuehrt

Untitled

Untitled

Untitled

→ Cover all “lines”

Untitled

Untitled

→ Cover all “Jump taken” and “Jump not taken”

Untitled

Untitled

For each IF: Taken/Not Taken

For each For-While: Taken once / Taken several times / Not taken

Untitled