Datenfluß-Analyse

Ablauf-Graph wird markiert:

• in jedem Knoten (Anweisung/Deklaration):

  welche Variablen gelesen (c-use)/geschrieben(def)?

• in jeder Kante: welche Variablen wurden gelesen (p-use), um Sprung-Entscheidung zu fällen?

definitionsfreier Pfad (für eine Variable v): von def(v) zu use (v), ohne dazwischenliegende def (v)

Test-Kriterien:

• all-defs: jeder geschriebene Wert (def) wird benutzt
• all-uses: jede Art der Benutzung wird getestet