Téc D P - Caja Blanca - Prueba de Camino y Cobertura (K4).

Objetivos:

1. Describir el concepto y el valor de la cobertura de código (K2).
2. Explicar los conceptos de sentencia y cobertura de decisión y explicar por qué estos conceptos pueden utilizarse también en niveles de prueba que no sean pruebas de componente (por ejemplo, en procedimientos de negocio a nivel de sistema)(K2).
3. Escribir casos de prueba a partir de flujos de control de datos utilizando técnicas de diseño de pruebas de decisión y sentencia (K3).
4. Evaluar la cobertura de sentencia y decisión para la integridad por lo que respecta a los criterios de salida definidos (K4).

Términos usados en este artículo: COBERTURA DE CÓDIGO, COBERTURA DE DECISIÓN, COBERTURA DE SENTENCIA, PRUEBAS BASADAS EN LA ESTRUCTURA.

Prueba de camino y cobertura ("path testing and coverage").

La cobertura de camino se centra en la ejecución de todos los posibles caminos a través de un programa.

• Un camino es una combinación de segmentos de programa (en un gráfico "diagrama" de flujo de control : una secuencia de nodos y aristas alternados).
• Para cobertura de decisión, un solo camino a través de un bucle es suficiente. Para la cobertura de camino hay casos de prueba adicionales.

         a).- Un caso de prueba no entrante al bucle.
         b).- Un caso de prueba adicional para cada ejecución del bucle.

• Esto puede conducir a un número muy alto de casos de prueba
• El foco del análisis de cobertura es el gráfico ("diagrama") de flujo de control.

          a).- Las sentencias son nodos.
          b).- El flujo de control es una vía única desde el inicio al fin del diagrama de flujo de control.

• El objetivo de esta prueba (criterio de salida) es alcanzar un porcentaje definido de cobertura de camino.

Ejemplo 1:

• El gráfico ("diagrama") de flujo de control de la imagen, representa el segmento de programa a ser evaluado.

• Contiene 3 sentencias "if".
• 3 caminos diferentes conducen a través del diagrama de este segmento de programa logran una cobertura de decisión completa.
• Sin embargo, pueden ser ejecutadas 5 posibles caminos distintos.
• Son necesarios 5 casos de prueba para lograr un 100% de cobertura de camino.
• Sólo 2 son necesarios para un 100% de cobertura de sentencia (C0).
• Sólo 3 son necesarios para un 100% de cobertura de rama o decisión (C1).  

Ejemplo 2:

• El diagrama de flujo  de control de la imagen , representa el segmento de programa a ser evaluado.

• Contiene 2 sentencia "if" y un bucle en el interior de la segunda sentencia if.
• 3 caminos diferentes que conducen a través del diagrama de este segmento de programa logran una cobertura de decisión completa.
• Si el bucle se ejecuta 2 veces, son posibles 4 caminos diferentes.
• Cada incremento en el contador del bucle añade un nuevo caso de prueba.

Conclusiones Generales.

• El 100% de cobertura de camino sólo se puede lograr en programas muy simples.
• Un sólo bucle puede conducir a una explosión de casos de prueba dado que, toda posible jecución de un bucle constituye un nuevo caso de prueba.
• teóricamente es posible un número indefinido de caminos.
• La Cobertura de camino a través del programa es ejecutado.
• 100% de cobertura de camino incluye 100% de cobertura de decisión, que asu vez incluye 100% de cobertura de sentencia.