assertie

Een assertie (Engels: assertion) is in programmeertalen een predicaat (waar of onwaar) dat door de ontwikkelaar in de broncode van een computerprogramma geplaatst kan worden om aan te geven dat een bepaalde voorwaarde op die plaats altijd als waar wordt verondersteld. Een assertie helpt de ontwikkelaar bij het ontwerpen, ontwikkelen en nadenken over een programma. 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.