Behauptungstests

Was ist Assertion-basiertes Testen?

Eine Zusicherung ist ein boolescher Ausdruck an einem bestimmten Punkt in einem Programm, der wahr ist, es sei denn, das Programm enthält einen Fehler. Eine Testzusicherung ist als Ausdruck definiert, der eine testbare Logik enthält, die für ein zu testendes Ziel angegeben ist.

Vorteile von Behauptungen:

Der Hauptvorteil von Behauptungen besteht darin, Fehler in einem Programm zu identifizieren. Die Nützlichkeit von Behauptungen umfasst:

  • Es wird verwendet, um subtile Fehler zu erkennen, die unbemerkt bleiben können.

  • Es wird verwendet, um Fehler früher zu erkennen, nachdem sie aufgetreten sind.

  • Geben Sie eine Erklärung zu den Auswirkungen des Codes ab, die garantiert wahr ist.

Einschränkungen der Behauptung

Wie jeder andere Code können Behauptungen selbst Fehler enthalten. Dies kann zu folgenden Problemen führen:

  • Fehler beim Melden eines vorhandenen Fehlers.

  • Einen Fehler melden, wenn er nicht vorhanden ist.

  • Kann zu anderen Nebenwirkungen führen

  • Die Ausführung kann einige Zeit in Anspruch nehmen, wenn sie Fehler enthält und auch Speicher belegt.

Wie können Behauptungen das Testen blockieren?

Wenn eine Behauptung aus dem einen oder anderen Grund fehlschlägt, kann dies schwerwiegende Folgen haben. Eine Behauptung kann zu einem Stolperstein werden, der dazu führen kann, dass die Tests für einen ganzen Tag abgebrochen werden. Einige Bedingungen, auf die wir testen möchten, mögen konzeptionell einfach sein, aber es ist sehr schwierig, sie in der Praxis zu überprüfen.