Java-Behauptung

In Java ist Assertion eine Aussage, die die Richtigkeit der in einem Programm getroffenen Annahmen sicherstellt oder testet. Dies geschieht mit Hilfe der Assert-Anweisung. Wenn die schriftliche Annahme ausgeführt wird, gilt sie als wahr. Wenn es falsch ist, wird von der Java Virtual Machine ein Assertionsfehler ausgegeben.

Starten Sie Ihren kostenlosen Softwareentwicklungskurs

Webentwicklung, Programmiersprachen, Softwaretests und andere

Die Hauptgründe, warum Behauptungen verwendet werden, sind:

• Um zu bestätigen, ob ein nicht erreichbarer Code erreichbar ist.
• Um zu überprüfen, ob die in den Kommentaren enthaltenen Annahmen korrekt sind oder nicht.
• Zur Bestätigung: Der Standardfall im Schalter wird nicht erreicht.
• Nach dem Aufruf einer Methode.
• Um den Zustand eines Objekts zu überprüfen.

Syntax

Unten finden Sie die Syntax der Java Assertion-Anweisung.

assert expression;

assert expr1 : expr2;

Jede dieser Syntaxen kann je nach Anforderung verwendet werden.

Wie funktioniert Assertion in Java?

Wie bereits erwähnt, kann Assert in zwei Formen geschrieben werden.

• Die Syntax bestätigt den Ausdruck; wird verwendet, um Ausdrücke in boolescher Form zu testen. Wenn der bestimmte Ausdruck falsch ist, wird das Programm durch Auslösen eines AssertionError beendet. Im Gegensatz zu den normalen Ausnahmen sind diese Fehler zur Laufzeit deaktiviert.
• Die Syntax besagt jedoch expr1: expr2; Es wird in Fällen verwendet, in denen das Programm über zusätzliche Informationen verfügt, die bei der Diagnose bestimmter Fehler helfen.
• Ähnlich wie die nicht abgefangenen Ausnahmen in Java werden Assertionsfehler üblicherweise im Stack-Trace zusammen mit der Datei- und Zeilennummer, von der aus die Ausnahme ausgelöst wird, gekennzeichnet.

Auch wenn dies die Hauptvorteile von Assertion sind, gibt es bestimmte Situationen, in denen Assertions nicht verwendet werden sollten. Sie sind:

• Ersetzen der Fehlermeldung.
• Argumentprüfung in öffentlichen Methoden
• Befehlszeilenargumente.

Hinweis:  Stellen Sie vor dem Kompilieren des Codes sicher, dass die Assertion aktiviert ist.

Syntax

java –ea programname

Oder

java –enable assertions programname

Schritte zur Verwendung von Eclipse Java Assertion

In Eclipse kann dies mit den folgenden Schritten erfolgen.

Schritt 1: Wählen Sie „Konfigurationen ausführen“.

Schritt 2: Gehen Sie zum linken Bereich, wählen Sie Java-Anwendung aus und klicken Sie mit der rechten Maustaste darauf.

Schritt 3: Wählen Sie „Neue Konfiguration“ und geben Sie –ea für VM-Argumente ein. Sobald es fertig ist, klicken Sie auf.

In ähnlicher Weise können Behauptungen mithilfe der unten angegebenen Syntax deaktiviert werden. Java –da Programmname

Beispiele zur Implementierung der Java-Assertion

Sehen wir uns nun einige Beispielprogramme für die Behauptung an, um eine klare Vorstellung davon zu bekommen.

Beispiel #1

Java-Programm zur Prüfung, ob ein bestimmter Wert höher als 20 ist.

Code:

class AssertionExample{
public static void main( String args[] ){
int val = 14;
assert val>=20:" Value is not valid";
System.out.println("The given value is: "+ val);
}
}

Ausgabe:

• Beim Ausführen des Codes wird die Meldung „Der angegebene Wert ist 14“ angezeigt.

• Es ist deutlich zu erkennen, dass die Behauptung hier nicht überprüft wird, da der Wert größer als 20 nicht überprüft wird.
• Um die Assertion zu ermöglichen, muss -ea vor dem Kompilieren festgelegt werden. Führen Sie dazu die im HINWEIS genannten Schritte aus.
• Wenn Sie erneut versuchen, den Code auszuführen, ist deutlich zu erkennen, dass ein AssertionError ausgelöst wurde, da der Wert kleiner als 20 ist.

Beispiel #2

Java-Programm zur Überprüfung, ob ein bestimmter Benutzereingabewert höher als 20 ist.

Code:

import java.util.Scanner;
class AssertionExample{
public static void main( String args[] ){
Scanner <u>sc</u> = new Scanner( System.in );
System.out.print("Enter a number to check assertion ");
//store the input value to the variable <u>val</u>
int val = sc.nextInt();
//assertion check whether the input value is greater than 20
assert val>=20:" Value is not valid";
System.out.println("The given value is: "+ val);
}
}

Ausgabe:

• Der Benutzer wird beim Ausführen des Codes aufgefordert, eine Nummer einzugeben. Im folgenden Ergebnis wird die Zahl 13 als Eingabe angegeben. Da es weniger als 20 ist, wurde ein AssertionError ausgelöst.

• Wenn gleichzeitig ein Wert größer als 20 angegeben wird, werden keine Fehler ausgegeben und die Meldung wird angezeigt.

Beispiel #3

Java-Programm zur Überprüfung der Anzahl der Tage in einer Woche.

Code:

class AssertionExample {
//main method
public static void main(String args[]) {
//declare a string days
String[] days = {" Monday " , " Holiday " , " Saturday " , " Tuesday " , " Wednesday " , " Sunday " , " Thursday " , " Friday " };
//set the assertion as 7
assert days.length==7 : "7 days are present in a week, Your input is wrong";
//print the line below
System.out.println("There are " + days.length + "  days in a week");
}
}

Ausgabe:

• Beim Ausführen des Codes wird ein Assertionsfehler ausgegeben, da die Anzahl der Tage in einer Woche 7 beträgt und die angegebene Zeichenfolgeneingabe mehr als diese Anzahl enthält.

• Lassen Sie uns Feiertag aus den Eingabewerten entfernen und sehen, wie die Ausgabe aussehen wird.

Ja. Die Zeile wird gedruckt, wenn der Behauptungswert den Eingabewert erfüllt.

Vorteile der Verwendung von Assertion in Java

Im Folgenden sind die Hauptvorteile der Verwendung von Assertion aufgeführt.

• Effiziente Erkennung und Korrektur von Fehlern.
• Boilerplate-Code wird entfernt und hilft bei der Erstellung eines lesbaren Codes.
• Die Ausführungszeit wird nicht beeinträchtigt, da es während der Laufzeit automatisch entfernt wird.
• Schnelle Fehlererkennung und -korrektur.
• Codeoptimierung und Refactoring werden mit hoher Sicherheit durchgeführt, um korrekt zu funktionieren.

Zusätzlich zu den oben genannten Punkten sind im Folgenden die wichtigen Punkte aufgeführt, die beim Studium von Behauptungen bekannt sein müssen.

• Eine Behauptung in Java wird in der Version JDK 1.4 eingeführt
• Assert ist das Schlüsselwort, das zur Implementierung der Behauptung verwendet wird.
• Das Aktivieren und Deaktivieren der Assertion kann zur Laufzeit mit Hilfe entsprechender Syntaxen erfolgen.
• Auch wenn die Behauptung die Ausnahme ergänzt, ersetzt sie sie nicht.
• Es ersetzt nicht das Unit-Testen, auch wenn es bei der Validierung von Bedingungen hilft.
• Verwenden Sie Assertion niemals für die Argument- oder Parametervalidierung einer öffentlichen Methode.

Fazit

Java Assertion ist eine Aussage, die die Richtigkeit einer bestimmten Bedingung überprüft. Es wird häufig zum Testen während der Softwareentwicklung verwendet. Darüber hinaus werden sie mit bestimmten booleschen Ausdrücken verwendet. In diesem Artikel werden verschiedene Aspekte wie Syntax, Funktionsweise, Vor- und Nachteile sowie Beispiele von Assertion ausführlich erläutert.

Das obige ist der detaillierte Inhalt vonJava-Behauptung. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!