¿Qué es la prueba de bucle? Metodología, ejemplo

¿Qué es la prueba de bucle?

La prueba de bucle se define como un tipo de prueba de software que se centra completamente en la validez de las construcciones del bucle. Es una de las partes de las pruebas de estructura de control (pruebas de ruta, pruebas de validación de datos, pruebas de condición).

La prueba de bucle es una Prueba de caja blanca. Esta técnica se utiliza para probar bucles en el programa.

Prueba de bucle

Tipos de bucle probados

Ejemplos de tipos de bucle probados son,

  • Bucle simple
  • Bucle anidado
  • Bucle concatenado
  • Bucle no estructurado

¿Por qué realizar pruebas de bucle?

Las pruebas de bucle se realizan por las siguientes razones

  • Las pruebas pueden solucionar los problemas de repetición del bucle
  • Las pruebas de bucles pueden revelar cuellos de botella en rendimiento/capacidad
  • Al probar bucles, se pueden determinar las variables no inicializadas en el bucle.
  • Ayuda a identificar problemas de inicialización de bucles.

Cómo hacer pruebas de bucle: metodología completa

Mientras se prueba el bucle, se debe comprobar en tres niveles diferentes:

  • Cuando se ingresa al bucle
  • Durante su ejecución y
  • Cuando se deja el bucle

La estrategia de prueba para todos estos bucles es la siguiente

Bucle simple

Un bucle simple se prueba de la siguiente manera:

Bucle simple

  1. Saltar todo el bucle
  2. Haz 1 pasada por el bucle.
  3. Haz 2 pasada por el bucle.
  4. Haga pases a través del bucle donde a<b, n es el número máximo de pases a través del bucle
  5. Haz b, b-1; b+1 pasa a través del bucle donde "b" es el número máximo de pases permitidos a través del bucle.

Bucle anidado

Para crear un bucle anidado, debes seguir los siguientes pasos.

Bucle anidado

  1. Establezca todos los demás bucles al valor mínimo y comience en el bucle más interno
  2. Para el bucle más interno, realice una prueba de bucle simple y mantenga los bucles externos en su valor mínimo de parámetro de iteración.
  3. Realice la prueba para el siguiente bucle y trabaje hacia afuera.
  4. Continúe hasta que se haya probado el bucle más externo.

Bucles concatenados

En los bucles concatenados, si dos bucles son independientes entre sí, se prueban utilizando bucles simples o se prueban como bucles anidados.

Bucles concatenados

Sin embargo, si el contador de bucle de un bucle se utiliza como valor inicial para los demás, no se considerará bucle independiente.

Bucles no estructurados

Para los bucles no estructurados, se requiere una reestructuración del diseño para reflejar el uso de las construcciones de programación estructuradas.

Bucles no estructurados

Limitación en las pruebas de bucle

  • Los errores de bucle aparecen principalmente en software de bajo nivel
  • Los errores identificados durante las pruebas de bucle no son muy sutiles
  • Muchos de los errores pueden ser detectados por el sistema operativo como tales, provocarán violaciones de los límites de la memoria, errores de puntero detectables, etc.

Resumen

  • En Ingeniería de Software, las pruebas de bucle son una Blanco Box Pruebas . Esta técnica se utiliza para probar bucles en el programa.
  • Las pruebas de bucles pueden revelar cuellos de botella en rendimiento/capacidad
  • Los errores de bucle aparecen principalmente en software de bajo nivel