Sergio Di Martino » 14.Lo Scaffolding - JUnit

Obiettivi della lezione

• Comprendere i concetti di verifica dinamica
• Scaffolding
• JUnit

Testing di Unità

Il testing è applicato isolatamente ad una unità (modulo) di un sistema software.
Obiettivo fondamentale è quello di rilevare errori (logica e dati) nel modulo.
Motivazioni:

• si riduce la complessità concentrandosi su una sola unit;
• è più facile correggere i bug, poiché poche componenti sono coinvolte.

Unità: elemento definito nel progetto di un sistema software e testabile separatamente unità e modulo sono spesso usati come sinonimi.

Test stub e test driver

Per eseguire un test case su una unità (o una combinazione di unità) è necessario che questa sia isolata dal resto del sistema.

E’ quindi necessario scrivere del codice aggiuntivo per permettere ad un’unità di eseguire in isolamento.

Test driver e test stub sono usati per sostituire le parti mancanti del sistema.
Un test driver (o Modulo Guida) è un blocco di codice che inizializza e chiama la componente da testare.

• Deve simulare l’ambiente chiamante.
• Deve occuparsi dell’inizializzazione dell’ambiente non locale del modulo in esame.

Un test stub (o Modulo Fittizio) è una implementazione parziale di componenti da cui la componente testata dipende (componenti che sono chiamate dalla componente da testare).

Espone le stesse signatures dei moduli simulati, ma è più semplice

L’insieme del Test driver e di tutti i test stub forma lo Scaffolding, cioè l’ambiente per eseguire test case su un’unità isolata.

Implementazione di Test stub

Intuitivamente, ogni qual volta una unità da testare contiene un riferimento ad un’altra classe/modulo, questa va “simulata”, al fine di fare test in isolamento.

La simulazione è effettuata attraverso la scrittura di un codice fittizio, contenuta in un test stub.

Un test stub deve fornire la stessa API del metodo della componente simulata e ritornare un valore il cui tipo è conforme con il tipo del valore di ritorno specificato nella signature.

Se l’interfaccia di una componente cambia, anche il corrispondente test stub deve cambiare.

L’implementazione di un test stub non è una cosa semplice.

• Non è sufficiente scrivere un test stub che semplicemente stampa un messaggio attestante che il test stub è in esecuzione.
• La componente chiamata deve fare un qualche lavoro.
• Il test stub non può restituire sempre lo stesso valore.

JUnit

Junit è un framework di unit testing per Java.
Autori: Erich Gamma, Kent Beck.

Cosa è un JUnit Test?
Un test “script” è un insieme di metodi Java.

• JUnit offre principalmente funzionalità di Test Driver.
• L’ idea è quella di istanziare una classe Java (l’unità da testare), eseguire dei metodi e determinare se la computazione è corretta.

Cosa offre JUnit? Gli Assert.

• Un package di metodi che verifica la presenza di diverse proprietà:
• “uguaglianza” di oggetti;
• riferimenti agli oggetti identici;
• riferimenti agli oggetti null / non-null.
• Le asserzioni sono utilizzate per determinare l’esito del test case.

Esito del test case

Un esito è il risultato dell’esecuzione di un singolo test.

Successo (rappresentato con colore verde): il test case è andato a buon fine, e il software testato funziona come previsto

Fallito (rappresentato con colore rosso): il test case è andato a buon fine, ma il software testato non fuziona come previsto

Errore (rappresentato con colore blu): il test case non è andato a buon fine.

Le cause possono essere:

• è avvenuto un evento inaspettato durante il test case;
• il test case non è impostato correttamente.

Cosa fa Junit?

Il codice di un test basato su JUnit permette di fare:

1. il setup di tutte le condizioni necessarie per il testing (creare gli oggetti necessari, allocare le risorse ecc);
2. chiamare un metodo che deve essere testato;
3. verificare che il metodo testato computi nella maniera attesa dall’oracolo;
4. eventualmente pulire.

Assert

JUnit offre una serie di metodi per determinare se un metodo è eseguito correttamente o meno.

Questi sono i metodi assert, che permettono di confrontare il risultato della computazione di un metodo da testare con l’output predetto dall’oracolo.

Gli assert sono il cuore del framework Junit

Gli assert sono definiti nella classe Junit Assert.

• Se l’assert è vero, il metodo continua l’esecuzione.
• Se vi è un assert falso, il metodo ferma l’esecuzione in quel punto, e il risultato del test case sarà “Fallito”.
• Se una qualunque altra eccezione viene generata durante l’esecuzione del metodo, il risultato per il test case sarà “Errore”.
• Se nessun assert sarà violato durante l’esecuzione del metodo, il risultato per il test case sarà “Successo”.

Tutti i metodi assert sono statici.

I metodi di assert

Le condizioni booleane sono vere o false

assertTrue(condition)
assertFalse(condition)

Gli oggetti sono null o non-null

assertNull(object)
assertNotNull(object)

Gli oggetti sono identici (i.e. due riferimenti allo stesso oggetto), o non identici.

assertSame(expected, actual)
Vero se : expected == actual
assertNotSame(expected, actual)

I metodi di assert (segue)

“Uguaglianza” di oggetti:

assertEquals(expected, actual)
valido se: expected.equals( actual )

“Uguaglianza” di array:

assertArrayEquals(expected, actual)
gli array hanno la stessa lunghezza
per ogni valore valido di i, controlla a seconda dei casi:

assertEquals(expected[i],actual[i])
oppure
assertArrayEquals(expected[i],actual[i])

Vi è anche un assert di fallimento incondizionato fail(), che restituisce sempre un esito di fallimento.

Un test case JUnit 4

Un test case JUnit 4

Un test case JUnit 4

Un test case JUnit 4

Assert di uguaglianza

assertEquals(a,b) si basa sul metodo equals() della classe testata.

• L’effetto è quello di valutare a.equals( b ).
• Spetta alla classe testata stabilire una relazione di uguagianza adeguata. JUnit utilizza ciò che è disponibile.
• Tutte le classi testate che non sovrascrivono il metodo equals() dalla classe Object otterranno il comportamento equals() di default.

Se a e b sono di un tipo primitivo come, per esempio, int, boolean, etc., allora per il metodo assertEquals(a,b) viene effettuato quanto segue:
a e b sono convertite nei loro oggetti equivalenti (Integer, Boolean etc.,) e viene valutato su di essi a.equals( b ).

Assert di floating point

Quando si confrontano i tipi floating point (double o float), c’è un ulteriore parametro obbligatorio, delta.

L’assert valuta Math.abs( expected – actual )← delta per evitare errori di round-off nei casi di confronti tra tipi floating point.

Esempio:

assertEquals( aDouble, anotherDouble, 0.0001 )

I parametri dei metodi di assert

In ogni metodo di assert con due parametri, il primo parametro rappresenta il valore atteso, mentre il secondo parametro è il valore reale.

Qualsiasi metodo di assert può avere un ulteriore parametro di tipo String come primo parametro. Il valore di tale parametro verrà incluso nel messaggio che comparirà se l’assert fallisce.

Esempio:

fail( message )
assertEquals( message, expected, actual)

Test suite

Una classe test può invocare altre classi test creando test suites.

Una qualsiasi classe test può contenere un metodo statico nominato suite() all’interno del quale è possibile eseguire una qualsiasi collezione di test.

public static Test suite()