Da Wikiversità, l'università aperta.

Indice 1 Definizione 1.1 Attività sottese al Testing 1.1.1 Approccio al Testing 1.1.2 Test Case Selection 1.1.3 Sensitization 1.1.4 Execution 1.1.5 Oracle Verdict 1.1.6 Debugging 1.1.7 Coverage Analysis 1.1.7.1 All Nodes 1.1.7.2 All Edges 1.1.7.3 All Conditions 1.1.7.4 Condition Decision 1.1.7.5 Multiple Conditions 1.1.7.6 Modified Condition-Decision 1.2 Riferimenti

[modifica] Definizione

Il Testing è un metodo di verifica nel quale si accerta la correttezza di un sistema esercitandolo e comparandone il funzionamento rispetto alle attese.

[modifica] Attività sottese al Testing

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

[modifica] Approccio al Testing

Approccio	Control Flow	Data Flow	Finite States	OO testing
Funzionale	NO	NO	OK	OK
Strutturale	OK	OK	NO	OK

[modifica] Test Case Selection

[modifica] Sensitization

[modifica] Execution

[modifica] Oracle Verdict

[modifica] Debugging

[modifica] Coverage Analysis

Una volta definito il livello di astrazione desiderato, utiliziamo un opportuno Criterio di Copertura

• All Nodes
• All Edges
• All Conditions
• Condition Decision
• Multiple Conditions
• Modified Condition-Decision

[modifica] All Nodes

Con questo criterio si intende visitare tutti i nodi del Control Flow Graph

Pro:

• Complessità: O(N)

Contro:

• Non garantisce la copertura di tutte le scelte

[modifica] All Edges

Con

[modifica] All Conditions

[modifica] Condition Decision

[modifica] Multiple Conditions

[modifica] Modified Condition-Decision

[modifica] Riferimenti

• Data Flow Testing
• Finite State Testing
• Pagine collegate