Validazione
vogliamo assicurarci che un programma funziona come vorremmo e scoprire perché non lo fa, se questo è il caso
validazione
- un processo che ha l’obiettivo di accrescere la nostra fiducia nel fatto che un programma abbia il comportamento che ci aspettiamo
- è effettuata di solito con una combinazione di testing e di verifica (ragionamento formale o informale)
debugging
- un processo che ha l’obiettivo di capire perché un programma non funziona
- identificare l’origine degli errori
defensive programming
- uno stile di definizione dei programmi che facilita i processi di validazione e di debugging