Camino factible

¿Qué es un camino factible?

Es posible una ruta de flujo de control a través de una función o un procedimiento si hay una asignación a los valores de entrada que impulsa la ejecución por la ruta. También podemos hacer uso de una expresión regular para describir un conjunto de rutas.

El análisis de ruta factible depende de:

  • Tipo asociado de constantes y declaraciones de variables de una función.

  • El Camino de principio a fin.

Métodos:

La ruta se puede analizar bien utilizando la técnica de prueba White Box, en la que los casos de prueba se construyen a partir del código sin referencia a requisitos o especificaciones. Se construye una colección de casos de prueba para satisfacer uno o más criterios de cobertura.

  • Statement Coverage : Cada enunciado del programa debe ejecutarse con un número mínimo de pruebas.

  • Decision Coverage : El resultado de cada decisión debe ejercitarse en verdadero y falso.

  • Condition Coverage : Aparte de probar los resultados de cada decisión, se deben ejercer las diversas formas en que se puede alcanzar cada resultado a través de diferentes valores de subcondiciones dentro de una decisión.

  • Path Coverage : Se prueban todas las rutas de flujo de control a lo largo del programa.