Assertie

Een assertie kan ook behulpzaam zijn bij het opsporen van fouten in een programma ( debuggen ): als een assertie faalt dan weet de programmeur dat er ergens een fout zit.

En ga je nog een argument geven bij deze assertie?

Dit is uiteraard geheel niet toevallig; de assertie in het Hoare triple geeft de toestand van een programma weer tussen statements en komt dus overeen met de plaats waar een voorgaand statement geheel afgehandeld is.

Mocht de assertie onwaar zijn dan kan een error gegenereerd worden (zoals het gooien van een exceptie ).