Systematische Fehlersuche in sechs Schritten

Ziel

Die Ursache eines Fehlers durch kontrollierte Experimente finden statt durch Raten und Neustarten, und dabei eine Spur hinterlassen, die die Suche nicht wiederholen lässt.

Voraussetzungen

Ein reproduzierbarer Fehler oder zumindest eine genaue Beschreibung des Symptoms; Möglichkeit, den Code mit Instrumentierung (Debugger, Logging, Tests) auszuführen.

Schritte

1. Reproduzieren: den fehlschlagenden Fall auf die kleinste Eingabe und den kürzesten Pfad reduzieren, der noch fehlschlägt.
2. Präzise beobachten: Fehlermeldung, Stacktrace, Eingaben, Versionen und Umgebung wörtlich notieren; Beobachtung und Annahme trennen.
3. Hypothese mit Vorhersage bilden: «Wenn das die Ursache ist, ändert Einstellung X das Ergebnis zu Y.»
4. Vorhersage prüfen, eine Änderung pro Versuch: gezielter Haltepunkt oder Logeintrag, veränderte Eingabe, Bisektion über Commits (git bisect) oder über die Eingabe.
5. Trifft die Vorhersage nicht ein, die ausgeschlossene Hypothese festhalten und die nächste bilden; trifft sie ein, durch Entfernen der Ursache bestätigen.
6. Beheben, Regressionstest ergänzen, Ursache in die Commit-Nachricht schreiben.

Erwartetes Ergebnis

Eine Ursache, die alle Beobachtungen erklärt, eine Korrektur, die das Symptom beseitigt, und ein Test, der bei Rückkehr der Ursache fehlschlägt.

Grenzen und Prüfbasis

Zeit- und Speicherfehler können sich unter Beobachtung verändern; dann mit leichter Instrumentierung und statistischer Reproduktion arbeiten. Die Methode ist allgemeine Praxis; die zitierte Quelle belegt einen der Schritte.