Kontrollflussanalyse

Statisches Analyseverfahren, das auf einer Darstellung von Pfaden (Ereignisfolgen) in der Ausführung einer Komponente oder eines Systems basiert. Die Kontrollflussanalyse evaluiert die Integrität von Kontrollflussstrukturen mit dem Ziel, Anomalien wie Endlosschleifen oder logisch nicht erreichbare Prozessschritte zu finden.