Eine von einem Agenten erzeugte Testerwartung unabhängig von der Implementierung halten

Ziel

Prüfen, ob ein vorgeschlagener Test die Anforderung verifiziert oder lediglich dieselbe fehlerhafte Annahme wiederholt, die zum Schreiben der Implementierung diente.

Voraussetzungen

Eine explizite Verhaltensanforderung, die Kandidatenimplementierung und einen vorgeschlagenen Test bereithalten. Festlegen, wer mehrdeutige erwartete Ergebnisse klären kann, bevor eine generierte Fixtur als massgeblich behandelt wird.

Schritte

1. Das erwartete Ergebnis aus der Anforderung ableiten, bevor die Ausgabe der Implementierung betrachtet wird. Die relevante Regel in einfacher Sprache festhalten, damit der erwartete Wert einen vom geprüften Code unabhängigen Ursprung hat.

2. Bei berechneten Erwartungen eine einfachere unabhängige Methode oder ein von Hand nachprüfbares Beispiel verwenden. Dieselbe Hilfsfunktion, Verzweigungsstruktur oder Parsing-Regel nicht sowohl in den Produktivcode als auch in das Testorakel übernehmen.

3. Einen Fall einbeziehen, der die beabsichtigte Regel von einer plausiblen falschen Auslegung unterscheidet. Bei einer Grenzregel Werte an der strittigen Grenze wählen, nicht nur gewöhnliche Beispiele, bei denen beide Auslegungen übereinstimmen.

4. Den Test, wo angemessen und autorisiert, gegen eine absichtlich fehlerhafte lokale Variante ausführen. Besteht die Prüfung dennoch, untersuchen, ob die Fixtur das geänderte Verhalten überhaupt erreicht und ob die Prüfung die relevante Ausgabe beobachtet.

5. Jede Aktualisierung der Fixtur nach Änderungen an der Implementierung überprüfen. Eine geänderte Ausgabe ist nicht automatisch ein neues erwartetes Ergebnis; eine Anforderungsänderung oder einen Beleg dafür verlangen, dass die frühere Erwartung falsch war.

Erwartetes Ergebnis

Der Test trägt eine erklärbare Erwartung und einen Fall, der zumindest das identifizierte alternative Verhalten zurückweisen kann. Reviewende können seinen Wert beurteilen, ohne der Implementierung des Agenten als eigener Spezifikation vertrauen zu müssen.

Grenzen und Prüfbasis

Dies ist eine vorgeschlagene Methode zur Testüberprüfung; es wird kein ausgeführter Testlauf behauptet. Unabhängige Orakel können dennoch dieselbe fehlerhafte Anforderung teilen. Absichtlich veränderte Varianten gehören in isolierte Testarbeit und dürfen nicht in der eingereichten Implementierung verbleiben.