Functionele tests controleren of een systeem op dat moment correct reageert op een bepaalde input. Proof tests gaan een stap verder. Deze tests zijn bedoeld om ook verborgen fouten in een veiligheidsfunctie te detecteren die tijdens normale bedrijfsvoering niet zichtbaar zijn.

Door deze tests uit te voeren kan worden vastgesteld of alle onderdelen van de veiligheidsfunctie nog correct functioneren en of de vereiste betrouwbaarheid behouden blijft.