Che cos’è il test del software?

Nelle sezioni precedenti abbiamo introdotto il test del software e spiegato perché è importante. Ora approfondiamo l’argomento. Per prima cosa, riprendiamo la definizione.

Il test del software valuta se le funzionalità soddisfano i requisiti del cliente. Si distingue in due grandi categorie.

1. Test dinamico. Si esegue il programma per verificarlo.
2. Test statico. Si esaminano il codice e i documenti associati.

I test dinamici e quelli statici spesso vengono usati insieme.

Test a scatola nera

Il test a scatola nera si concentra su ciò che fa il software, senza esaminarne l’implementazione interna. Può essere usato a tutti i livelli di test, da quello unitario e di integrazione a quello di sistema e di accettazione.

Apri il diagramma a grandezza naturale ↗

Test a scatola nera

Nel test a scatola nera chi esegue il test si concentra su ciò che il software dovrebbe fare. I casi di test derivano dalle specifiche e dai requisiti, indipendentemente dalla logica interna del programma. Si forniscono dati di ingresso validi e non validi e si controllano i risultati.

Test a scatola bianca

Il test a scatola bianca esamina il codice sorgente, compresi la logica interna, l’implementazione e il comportamento. I casi di test verificano il funzionamento interno del software. Questo metodo si può usare nei test unitari, di integrazione e di sistema. Può scoprire errori di progettazione interna difficili da trovare in altro modo. Non individua però requisiti o specifiche mancanti.

Apri il diagramma a grandezza naturale ↗

Test a scatola bianca

Copertura delle istruzioni

La copertura delle istruzioni verifica che ciascuna istruzione di ogni blocco di codice venga eseguita almeno una volta e che se ne osservi il risultato. È detta anche copertura delle righe o dei segmenti.

Eseguire tutte le istruzioni non comporta necessariamente la verifica di ogni condizione. Anche con una copertura completa delle istruzioni, alcuni errori possono quindi passare inosservati.

Copertura delle decisioni

La copertura delle decisioni, detta anche copertura dei rami, verifica gli esiti di ogni decisione, inclusi vero e falso. Un ramo è uno dei possibili esiti di una decisione. Questo metodo offre una copertura più ampia rispetto alla sola copertura delle istruzioni. Ecco alcuni esempi di istruzioni decisionali.

1. Un’istruzione IF.
2. Un’istruzione di controllo di un ciclo, come do-while.
3. Un’istruzione CASE con due o più esiti possibili.

La copertura delle decisioni verifica ogni ramo del codice. Permette un controllo più approfondito rispetto alla sola copertura delle istruzioni.

Copertura delle condizioni

La copertura delle condizioni verifica gli esiti vero e falso delle singole condizioni booleane. Queste condizioni possono avere un ruolo importante nell’esito di una decisione. La copertura delle condizioni non comporta necessariamente la copertura completa delle decisioni.

Copertura di decisioni e condizioni

Questo metodo combina il test delle decisioni con quello delle singole condizioni logiche. Verifica gli esiti vero e falso per entrambe e offre quindi un approccio approfondito al test del software.

Copertura delle condizioni multiple

La copertura delle condizioni multiple, detta anche copertura delle combinazioni di condizioni, controlla il risultato delle diverse combinazioni. Vediamo un esempio.
If (x=true OR y=true)
   Then
Print (“Hello”)
   Else
Print (“Bye”)

Questo esempio ha quattro possibili combinazioni di condizioni.
Caso di test 1. x=true; y=true
Caso di test 2. x=true; y=false
Caso di test 3. x=false; y=true
Caso di test 4. x=false; y=false

Allo stesso modo, tre condizioni booleane hanno otto possibili combinazioni.