Was macht Verifizieren?
Verwende diese Fähigkeit, wenn der Benutzer sicher sein möchte, dass ein Feature, ein Fix oder ein Refactoring tatsächlich funktioniert.
Ziel
Wandele vage „es sollte funktionieren“-Behauptungen in konkrete Beweise um.
Arbeitsablauf
- Identifiziere das genaue Verhalten, das nachgewiesen werden muss.
- Bevorzuge zuerst vorhandene Tests.
- Falls die Testabdeckung fehlt, führe die schmalsten direkten Verifikationsbefehle aus, die verfügbar sind.
- Wenn direkte Automatisierung nicht ausreicht, beschreibe die manuellen Validierungsschritte und sammle konkrete, beobachtbare Beweise.
- Berichte nur das, was tatsächlich verifiziert wurde.
Verifikationsreihenfolge
- Vorhandene Tests
- Typprüfung / Build
- Schmale direkte Befehlsprüfungen
- Manuelle oder interaktive Validierung
Regeln
- Bezeichne eine Änderung nicht als abgeschlossen, ohne Beweise.
- Falls eine Prüfung fehlschlägt, gib den Fehler klar an.
- Falls kein realistischer Verifikationspfad existiert, sage das explizit, anstatt zu bluffen.
- Bevorzuge knappe Beweisübersichten gegenüber verrauschten Logs.
Ausgabe
- Was verifiziert wurde
- Welche Befehle/Tests ausgeführt wurden
- Was bestanden hat
- Was fehlgeschlagen ist oder ungeprüft bleibt