Klassifikation

• Testen (= Fehler erkennen)
  • statisch (z. B. Inspektion)
  • dynamisch (Programm-Ausführung)
• Verifizieren (= Korrektheit beweisen)
  • Verifizieren
  • symbolisches Ausführen
• Analysieren (= Eigenschaften vermessen/darstellen)