: Die konventionelle, benutzungsorientierte Prüfung der Qualität von Software konzentriert sich aufs Testen des Systemverhaltens unter regulären Bedingungen. Der vorliegende Beitrag überprüft das Systemverhalten über diese „Schönwetter-Tests“ hinaus bei fehlerhaften, meist unerwarteten Benutzungseingaben („Negativ“-Tests). Dabei ist das Augenmerk auf Testautomatisierung gelegt, insbes. zur Präzisierung des Wertebereichs der Testeingabedaten, Verfeinerung der Testeingaben und Verdeutlichung kausaler Abhängigkeiten. 1 Einleitung und verwandte Arbeiten Interaktive Systeme, die in sicherheitskritischen bzw. kapitalintensiven Umgebungen eingesetzt werden, verlangen nach einem hohen Maß an Zuverlässigkeit. Deswegen nimmt gerade die Prüfung dieser Systeme einen hohen Stellenwert ein, um Fehler aufzudecken, welche die Zuverlässigkeit und Benutzung der Systeme gefährden. Zu diesem Zweck werden Modelle und Techniken eingesetzt, die das System sowie die Interaktion des Benut...