Informatica

Módulo 11:

Pruebas de Caja Blanca

Ing. Miguel Almeyda
Software Architect
MCTS, Dev Advisory Council VS

Pruebas de caja blanca
 Este método de casos de pruebausa los detalles

procedimentales del programa.
 Se busca obtener casos de prueba que:

 Garanticen que se ejecuta por lo menos una vez todos los

caminosindependientes de cada módulo.
 Verificar las decisiones lógicas (V/F).
 Ejecutar las condiciones en sus límites.
 Ejecutar las estructuras internas de datos para asegurar suvalidez.

Pruebas de caja blanca
 Prueba de camino básico
 Notación de grafo de flujo
 Complejidad ciclomática
 Obtención de casos de prueba
 Matrices de grafos
Prueba de la estructura de control
 Prueba de condición
 Prueba de flujo de datos
 Prueba de bucles

Prueba del camino básico
 Es una técnica de prueba de caja blancaque nos

permite obtener una medida de complejidad lógica.
 Con la medida de complejidad se genera un conjunto
básico de caminos que se ejecutan por lo menos una
vezdurante la ejecución del programa.

Prueba del camino básico
 Para representar el flujo de control de un programa se

usa un grafo de flujo.
 Para determinar lacomplejidad lógica de un programa,
se calcula la complejidad ciclomática que define el
número de caminos independientes del conjunto básico.
 Un camino independiente es cualquiercamino del
programa que incluye nuevas instrucciones de un
proceso o una nueva condición.

Obtención de casos de prueba
Dibujar el grafo correspondiente
2. Determinar lacomplejidad
3. Determinar un conjunto básico de caminos linealmente
independientes
4. Preparar casos de prueba que forzarán a la ejecución de
cada camino básico
1.