Test di copertura decisionale

Che cos'è il test di copertura decisionale?

La copertura delle decisioni o copertura dei rami è un metodo di test, che mira a garantire che ciascuno dei possibili rami da ciascun punto di decisione venga eseguito almeno una volta, assicurando così che tutto il codice raggiungibile sia eseguito.

Cioè, ogni decisione viene presa in ogni modo, vero e falso. Aiuta a convalidare tutti i rami nel codice assicurandosi che nessun ramo porti a comportamenti anomali dell'applicazione.

Esempio:

Read A
Read B 
IF A+B > 10 THEN 
  Print "A+B is Large" 
ENDIF 
If A > 5 THEN 
  Print "A Large"
ENDIF

La logica di cui sopra può essere rappresentata da un diagramma di flusso come:

Risultato:

To calculate Branch  Coverage, one has to find out the minimum number of paths which will ensure that all the edges are covered. In this case there is no single path which will ensure coverage of  all the edges at once. The aim is to cover all possible true/false decisions.
(1) 1A-2C-3D-E-4G-5H
(2) 1A-2B-E-4F
Hence Decision or Branch Coverage is 2.