Assertions Assertions können benutzt werden, um die Korrektheit von Programmen nachzuweisen. Den Eingabeparametern werden mit Hilfe von Zuweisungsbefehlen Werte oder Wertebereiche zugewiesen und die Ergebnisparameter werden auf die Einhaltung von diesen überprüft. Mit der Hilfe von Testwerkzeugen kann dieses Verfahren automatisiert werden.