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?
Automatische Verifikation?
Verifikation als Wundermittel?
Aufgaben zum Testen und Verifizieren (KW 23)
Partielle und totale Korrektheit
Termination: Beispiel
Termination ,,von selbst``
Termination für Ersetzungs-Systeme
Johannes Waldmann 2005-06-21
