Comprende las siguientes pruebas:
1. Prueba de condición
Se centra en la prueba de cada una de las condiciones del programa y tiene como propósito detectar los errores en las condiciones de un programa y los errores del programa.
2. Prueba del flujo de datos
Se centra en la selección de caminos de prueba de un programa de acuerdo con la ubicación de las definiciones y los usos de las variables del programa.
Esta prueba es útil para seleccionar caminos de prueba de un programa que contenga sentencias if o bucles anidados.
3. Prueba de bucles
Se centra en la validez de las construcciones de bucles. Se definen los siguientes tipos de bucles:
BUCLES SIMPLES
Se debe aplicar:
· Pasar por alto totalmente el bucle
· Pasar una sola vez por el bucle
· Pasar dos veces por el bucle
· Hacer m pasos por el bucle con m < n
· Hacer n-1, n y n+1 pasos por el bucle
Donde n, es el número máximo de pasos permitidos por el bucle
BUCLES ANIDADOS
Se debe:
· Comenzar por el bucle más interior
· Llevar a cabo las pruebas de bucles simples para el bucle más interior
· Progresar hacia fuera, llevando a cabo pruebas para el siguiente bucle
· Continuar hasta cuando se prueben todos los bucles.
BUCLES CONCATENADOS
Se pueden probar con el método para buques simples, siempre y cuando los bucles sean independientes.
Cuando los bucles no son independientes se utiliza el enfoque para bucles anidados.
BUCLES NO ESTRUCTURADOS
Estos bucles se deben rediseñar.