Folien als PDF

M5. Kontrollflussgraph (CFG)
Methodischer Entwurf eingebetteter Systeme
Modelle und Begriffe
CFG=(OPS C
B, C): gerichteter Graph mit
OPS C
B
C
:Menge der Kontrollflussknoten (bedingte Operationen)
:Menge der Zuweisungsblöcke
: Menge der Kontrollflusskanten
Kontollflussgraphen stellen nicht die Datenabhängigkeiten, sondern
den Kontrollfluss einer Berechnung dar.
Die Verzweigungen sind Alternativen.
Beispiel:
case C is
when 1 => X := X+2;
A := X+5;
when 2 => A := X+3;
when others =>A := X+W;
end case;
S. A. Huss / Folie 3-13