La prueba de flujo de control es un tipo de prueba de software que utiliza el flujo de control del programa como modelo. La prueba de flujo de control es una estrategia de prueba estructural. Esta técnica de prueba se incluye en la prueba de caja blanca. Para el tipo de prueba de flujo de control, el equipo de prueba debe conocer toda la estructura, el diseño, el código y la implementación del software.
Los desarrolladores suelen utilizar este tipo de método de prueba para probar su propio código y su propia implementación, ya que los desarrolladores conocen mejor el diseño, el código y la implementación. Este método de prueba se implementa con la intención de probar la lógica del código para que se puedan cumplir los requisitos del usuario. Su principal aplicación es relacionar los programas pequeños y segmentos de los programas más grandes.
Proceso de prueba de flujo de control:
Los siguientes son los pasos involucrados en el proceso de prueba de flujo de control:
- Creación de gráficos de flujo de control:
a partir del código fuente proporcionado, se crea un gráfico de flujo de control de forma manual o mediante el uso del software. - Objetivo de cobertura:
se define un objetivo de cobertura sobre el gráfico de flujo de control que incluye Nodes, bordes, caminos, ramas, etc. - Creación de casos de prueba:
los casos de prueba se crean utilizando gráficos de flujo de control para cubrir el objetivo de cobertura definido. - Ejecución de casos de prueba:
después de la creación de casos de prueba sobre el objetivo de cobertura, se ejecutan más casos de prueba. - Análisis:
Analice el resultado y descubra si el programa está libre de errores o tiene algunos defectos.
Gráfico de flujo de control :
El gráfico de flujo de control es una representación gráfica del flujo de control o cálculo que se realiza durante la ejecución del programa. Los gráficos de flujo de control se utilizan principalmente en el análisis estático, así como en aplicaciones de compilación, ya que pueden representar con precisión el flujo dentro de una unidad de programa. El gráfico de flujo de control fue desarrollado originalmente por Frances E. Allen.
Complejidad ciclomática :
la complejidad ciclomática es la medida cuantitativa del número de caminos linealmente independientes en ella. Es una métrica de software utilizada para describir la complejidad de un programa. Se calcula utilizando el gráfico de flujo de control del programa.
M = E - N + 2P
Ventajas de las pruebas de flujo de control:
- Detecta casi la mitad de los defectos que se determinan durante las pruebas unitarias.
- También determina casi un tercio de los defectos de todo el programa.
- Se puede realizar de forma manual o automatizada ya que el gráfico de flujo de control que se utiliza se puede realizar a mano o también mediante software.
Desventajas de las pruebas de flujo de control:
- Es difícil encontrar rutas faltantes si el programa y el modelo están hechos por la misma persona.
- Es poco probable encontrar características espurias.