Introduzione alle tecniche di verifica e convalida

Error - Fault - Failure

In generale, occorre distinguere i "malfunzionamenti" del software (in inglese, "failure"), dai "difetti" (o "errori" o "bachi") del software .

Un malfunzionamento è un comportamento del software difforme dai requisiti espliciti o impliciti. In pratica, si verifica quando, in assenza di malfunzionamenti della piattaforma (hardware + software di base), il sistema non fa quello che l'utente si aspetta.

Lo scopo del collaudo è di rilevare i difetti tramite i malfunzionamenti, al fine di minimizzare la probabilità che il software distribuito abbia dei malfunzionamenti nella normale operatività.

Nessun collaudo può ridurre a zero tale probabilità, in quanto le possibili combinazioni di valori di input validi sono enormi, e non possono essere riprodotte in un tempo ragionevole; tuttavia un buon collaudo può rendere la probabilità di malfunzionamenti abbastanza bassa da essere accettabile dall'utente.

Punto di vista: Affidabilità

Error

Difetto

Fault

Stato di funzionamento non corretto

Failure

Esercitazione di un Fault

Punto di vista: Verifica e Testing

Error

Origine del difetto

Fault

Difetto

Failure

Fallimento, ovvero abbiamo esercitato il sistema su di un aspetto difettoso

Esempio degno di Nota

Programma Ariane