Testing
Definizione
modificaIl Testing è un metodo di verifica nel quale si accerta la correttezza di un sistema esercitandolo e comparandone il funzionamento rispetto alle attese.
Attività sottese al Testing
modifica- Test Case Selection
- scelta dei Test Cases
- Sensitization
- identificare gli input che portano ai Test Cases scelti
- Execution
- creare stub, driver, log
- Oracle Verdict
- il sistema verifica le attese?
- Debugging
- tracciare ciascuna Failure su una o più Faults
- Coverage Analysis
- Stimare il grado di copertura raggiunto rispetto alla complessità reale del sistema - Ci da un indicatore di confidenza sulla assenza di errori residui
Occorre innanzi tutto domandarsi a quale livello di astrazione del sistema possiamo lavorare
- Codice Sorgente
- Codice Compilato
- Diagramma UML
Sono possibili inoltre diverse astrazioni rispetto ad altrettante prospettive che intendiamo investigare
- Funzionale
- il sistema è visto come una BlackBox investigabile solo in termini di relazioni tra l'input immesso e l'output restituito. Viene testato facendo riferimento alla specifica dei requisiti.
- Strutturale
- il sistema è visto come una WhiteBox, ovvero si ha accesso, invece che alle relazioni di Ingresso/Uscita, al codice sorgente.
- Architetturale
- il sistema è visto come una GreyBox, ovvero si ha accesso all'aspetto Funzionale e alle principali relazioni funzionali interne.
Solitamente il miglior approccio da adottare prevede:
- Prospettiva Funzionale nel TCS
- Prospettiva Strutturale nella CA
Approccio al Testing
modifica| Approccio | Control Flow | Data Flow | Finite States | OO testing |
|---|---|---|---|---|
| Funzionale | NO | NO | OK | OK |
| Strutturale | OK | OK | NO | OK |
Test Case Selection
modificaSensitization
modificaExecution
modificaOracle Verdict
modificaDebugging
modificaCoverage Analysis
modificaUna volta definito il livello di astrazione desiderato, utilizziamo un opportuno Criterio di Copertura
- All Nodes
- All Edges
- All Conditions
- Condition Decision
- Multiple Conditions
- Modified Condition-Decision
All Nodes
modificaCon questo criterio si intende visitare tutti i nodi del Control Flow Graph
Pro:
- Complessità:
Contro:
- Non garantisce la copertura di tutte le scelte
All Edges
modificaCon questo criterio oltre a verificare tutti i nodi del control flow graph si controllano anche tutti gli archi.
La complessità è O (N* C) dove N è il numero di nodi e E è il massimo grado di uscita.