Validazione
perché?
- il risultato più desiderabile sarebbe la garanzia assoluta che tutti gli utenti del programma saranno sempre soddisfatti del suo comportamento
- il miglior risultato che possiamo sperare di raggiungere è la garanzia che il programma soddisfi la sua specifica
come?
- possiamo cercare di argomentare (dimostrare) che il programma funziona per tutti i possibili input (verifica)
- ragionamento sul testo del programma
- la verifica formale è troppo pesante senza l’aiuto di una macchina e gli strumenti a disposizione oggi (di tipo generale) sono ancora insoddisfacenti
- perciò la maggior parte della verifica è ancora fatta in modo informale ed è un processo difficile
- in alternativa alla verifica, possiamo ricorrere al testing