Assertion

Assertions sind Zusicherungen (oder Annahmen) innerhalb einer Programmiersprache.

Ein einfaches Beispiel einer Assertion (hier in Java-Syntax) ist

  int n = readInput();

   n = n * n; //Quadrieren

   assert(n>= 0);

 

Mit dieser Assertion sagt der Programmierer "Ich bin mir sicher das nach dieser Stelle n größer gleich Null ist".

Wird die Bedingung einer Assertion verletzt, so wird in Java ab Version 1.4 eine Exception(AssertionError) geworfen, falls das Programm mit dem Parameter -ea (enable assertions = schalte Assertions ein) gestartet wurde.

Assertions sind sinnvoll, um sich selber klar zu werden, was der Code tun soll, und um logische Fehler bei der Programmierung zu bemerken. Schreibt man etwas wie

  int n = readInput();

   int m = readInput();

   int maximum = max(m,n);

   int minimum = min(m,n);

   assert(maximum> minimum);

 

sieht man, dass man einen Denkfehler gemacht oder das Konzept von Maximum und Minimum nicht verstanden ;-) hat.

Im Test-Framework JUnit werden Assertions exzessiv genutzt.

Weblinks

• http://www.junit.org
• Assertions in Java 1.4