- Verifizieren (= Korrektheit beweisen)
- Verifizieren
- symbolisches Ausführen
- Testen (= Fehler erkennen)
- statisch (z. B. Inspektion)
- dynamisch (Programm-Ausführung)
- Analysieren (= Eigenschaften vermessen/darstellen)
- Quelltextzeilen (gesamt, pro Methode, pro Klasse)
- Klassen (Anzahl, Kopplung)
- Profiling (...später mehr dazu)
2009-06-15
