¿Cómo calcular Cobertura de Sentencia, Cobertura de Decisión y Cobertura de

Camino?
Dibuje el flujo de la siguiente manera:

• Los nodos representan las entradas, salidas, decisiones y cada sentencia del código.
• Las aristas representan las decisiones y no decisiones entre los distintos nodos.

Ejemplo:

Calcular Cobertura de sentencia, Cobertura de Decisión y Cobertura de Camino.

Read P
Read Q
If p+q > 10 then
Print “Large”
Endif
If p>50 then
Print “P Large”
Endif

Figura 1: Diagrama de Flujo de Control

En el diagrama anterior se han identificado con números a los nodos, y con letras a las aristas

Cobertura de Sentencia (SC)

Para calcular la Cobertura de Sentencia, debemos identificar la menor

cantidad de caminos con la que se puedan cubrir todos los nodos. En
este ejemplo, atravesando por el camino 1A-2C-3D-E-4G-5H, todos los
nodos son cubiertos. Entonces, atravesando solo un camino, todos los
nodos 12345 son cubiertos, es decir, la cobertura de sentencia en este
caso es 1.

Figura 2: Cobertura de Sentencia

Cobertura de Decisión (BC)

Para calcular la Cobertura de Decisión, debemos identificar la

cantidad mínima de caminos que garanticen la cobertura de todas las
aristas. En este caso, no hay un camino único que garantice la
cobertura de todas las aristas en un solo recorrido. Siguiendo los
caminos 1A-2C-3D-E-4G-5H, la cantidad máxima de aristas (A, C, D, E,
G y H) son cubiertas pero faltan aristas B y F. Para cubrir estas aristas,
debemos seguir el camino 1A-2B-E-4F. Combinando los dos caminos,
podemos garantizar que hemos recorrido todos los caminos. Por lo
tanto, la Cobertura de decisión es 2. El objetivo es cubrir todas las
decisiones (true/false).

Cobertura de Rama y Cobertura Decisión son lo mismo.

Figura 2: Cobertura de Decisión

Cobertura de Camino (PC)

La cobertura de camino garantiza la cobertura de todos los caminos

desde el inicio hasta el final.

Todos los posibles caminos son:

1A-2B-E-4F

1A-2B-E-4G-5H

1A-2C-3D-E-4G-5H

1A-2C-3D-E-4F

Entonces la cobertura de camino es 4.

Entonces, para el ejemplo anterior: CS=1, CR=2 y CC=4

Figura 2: Cobertura de Camino

IMPORTANTE

100% de Cobertura de Camino siempre incluye 100% de Cobertura de Decisión/Rama.

100% de Cobertura LCSAJ siempre incluye 100% de Cobertura de Decisión/Rama.

100% de Cobertura de Decisión/Rama siempre incluye 100% de Cobertura de Sentencia.

*LCSAJ=Linear Code Sequence and Jump.

Es un método de análisis de software que se utiliza para identificar las unidades estructurales en el código bajo
prueba.

Se compone de los tres siguientes elementos (identificados convencionalmente por números de línea en el código
fuente listado): el comienzo de la secuencia lineal de sentencias ejecutables, el final de la secuencia lineal, y la línea
destino a la cual se transfiere el flujo de control al final de la secuencia lineal.