Kontrollfluß-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
Johannes Waldmann
2004-06-30