Definition, Motivation

Software(-Komponente) testen = für bestimmte Eingaben ausführen und Resulate mit Spezifikation vergleichen

• Spezifikation ⇒ Testfälle

• bei Fehlen einer formalen Spezifikation sind Testfälle die nächstbeste Näherung

test driven development (= erst Testfälle schreiben, danach Quelltexte) bedeutet: erst spezifizieren, dann implementieren.