Nächste Seite:
Programming by contract
Aufwärts:
CASE und Projektmanagement Vorlesung,
Vorherige Seite:
JUnit und Extreme Programming
Tests und Verifikation
Unterabschnitte
Programming by contract
Verifikation
Schlußregel: Implikation
Axiom: Zuweisung
Regel: Sequenz
Regel: Verzweigung
Regel: Schleifen
Invarianten finden?
Partielle und totale Korrektheit
Termination: Beispiel
Termination ,,von selbst``
Termination für Ersetzungs-Systeme
Automatische Verifikation?
Verifikation als Wundermittel?
Aufgaben zum Testen und Verifizieren (22. 6.)
Johannes Waldmann 2004-06-30