Nächste Seite:
Dynamische Tests
Aufwärts:
Produktqualität (analytisch)
Vorherige Seite:
Produktqualität (analytisch)
Klassifikation
Testen (
=
Fehler erkennen)
statisch (z. B. Inspektion)
dynamisch (Programm-Ausführung)
Verifizieren (
=
Korrektheit beweisen)
Verifizieren
symbolisches Ausführen
Analysieren (
=
Eigenschaften vermessen/darstellen)
Johannes Waldmann 2005-06-21