Prueba de cobertura de decisiones

¿Qué son las pruebas de cobertura de decisiones?

La cobertura de decisión o cobertura de rama es un método de prueba, cuyo objetivo es asegurar que cada una de las posibles ramas de cada punto de decisión se ejecute al menos una vez y, por lo tanto, garantizar que se ejecute todo el código accesible.

Es decir, cada decisión se toma en todos los sentidos, verdadera y falsa. Ayuda a validar todas las ramas en el código asegurándose de que ninguna rama lleve a un comportamiento anormal de la aplicación.

Ejemplo:

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

La lógica anterior se puede representar mediante un diagrama de flujo como:

Resultado:

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.