6.

3 CASOS DE PRUEBA
CAJA BLANCA
Tipos de Prueba:

Prueba de la Ruta Bsica

Pruebas de la estructura de control
Prueba de condicin
Prueba del flujo de datos
Prueba de bucles

6.3.1 PRUEBA DE LA RUTA BASICA

Tcnica de prueba de caja blanca que propuso Tom
McCabe.
Permite conocer una medida de la
complejidad lgica de un diseo procedural y usar
esta medida como gua para definir un conjunto
bsico de rutas de ejecucin
Estas garantizan que se ejecute cada instruccin del
programa por lo menos una vez durante la prueba.

6.3.1 PRUEBA DE LA RUTA BASICA

Recordar:
Diagrama de Flujo

Grfica de Flujo

Componentes de la grfica de flujo:

Aristas : enlaces
Nodos : instruccin procedural
Nodo predicado : nodo del que emanan dos aristas ( if )
Regin : rea que se limitan por aristas y nodos

6.3.1 PRUEBA DE LA RUTA BASICA

1

11

Ruta 1:
Ruta 2:
Ruta 3:
Ruta 4:

2,3

4,5
R2

R1

Rutas independientes:
1-11
1-2-3-4-5-10-1-11
1-2-3-6-8-9-10-1-11
1-2-3-6-7-9-10-1-11

R3

Genera ruta cada vez que se

pasa por una arista nueva

10
R4

6.3.1 PRUEBA DE LA RUTA BASICA

1

11

2,3

4,5

1. Nmero de regiones

R2

R1

La complejidad ciclomtica
se basa en la teora
grfica y se calcula de
tres maneras:

R3

4
10
R4

6.3.1 PRUEBA DE LA RUTA BASICA

1

11

2,3

4,5

V(G) = E N + 2

R2

R1

2. Complejidad ciclomtica
es igual a nmero de
aristas, menos el nmero
de nodos ms 2

R3

V(G) = 11 9 + 2 = 4
10
R4

6.3.1 PRUEBA DE LA RUTA BASICA

1

11

2,3

V(G) = P + 1

4,5
R2

R1

R3

3. Complejidad ciclomtica
es igual al nmero de
nodos predicado ms uno

10
R4

V(G) = 3 + 1 = 4

6.3.1 PRUEBA DE LA RUTA BASICA

La complejidad ciclomtica se basa en la teora grfica
y se calcula de tres maneras:
1. Nmero de regiones
2. Complejidad ciclomtica es igual a nmero de
aristas, menos el nmero de nodos ms
V(G) = E N + 2
3. Complejidad ciclomtica es igual al nmero de
nodos predicado ms uno
V(G) = P + 1

6.3.1 PRUEBA DE LA RUTA BASICA

1

11

2,3

4,5
R2

R1

R3

Recordar se puede utilizar

las matrices y si se les da
peso a cada nodo esto
nos ayuda a conocer :

10
R4

Probabilidad de ejecucin
de un enlace
Tiempo de procesamiento
al recorrer un enlace
Memoria al recorrer un
enlace
Recursos al recorrer un
enlace

6.3.2 PRUEBA DE CONDICION

Mtodo que ejercita las condiciones lgicas contenidas
en un mdulo del programa.
Una condicin simple es una variable booleana o una
expresin relacional.
Esta prueba se concentra en la prueba de cada condicin
del programa para asegurar que no contiene errores.
Expresin1 <operador relacional> Expresin2
Objetivo: probar todos los casos de la relacin.

6.3.3 PRUEBA DE FLUJO DE DATOS

Mtodo que selecciona rutas de prueba de acuerdo con
las ubicaciones de las definiciones y usos de las
variables del programa.
Asume que cada instruccin se le asigna un numero de
instruccin y ninguna funcin modifica sus
parmetros o variables globales.
Probar las DEF( I ) y las USO( I )
Donde:
DEF( I ) = x | instruccin I contiene una definicion de x
USO( I ) = x | instruccin I contiene un uso de x
Objetivo: probar todas las DEF y USO de I

6.3.4 PRUEBA DE BUCLES

Tcnica de prueba de caja blanca que se concentra
exclusivamente en la validez de la construccin de
bucles.
Tipos de bucles: simple, anidado, concatenado, no
estructurado.

6.3.4 PRUEBA DE BUCLES

Bucles simples:
omitir por completo el bucle
solo un paso por el bucle
dos pasos por el bucle
m pasos por el bucle ( m < n )
n=1 , n , n+1 pasos por el bucle
( n es num mximo pasos permitidos )

6.3.4 PRUEBA DE BUCLES

Bucles anidados:
iniciar el bucle mas interno
asignar a todo bucle los valores mnimos
validar el mas interno con valores mnimos en externos
agregar pruebas con valores fuera de rango
analizar de la misma manera hacia afuera

6.3.4 PRUEBA DE BUCLES

Bucles concatenados:
igual que los simples
Bucles no estructurados:
se recomienda redisear los bucles

6.3 CASOS DE PRUEBA

CAJA NEGRA
Tipos de Prueba:

Prueba basada en fallas

Prueba basada en escenarios
Prueba de arquitectura cliente/servidor
Pruebas de servidor
Pruebas de base de datos
Preubas de transaccin
Pruebas de comunicacin de red
Prueba de documentacin

6.3.5 PRUEBA BASADA EN FALLAS

Disear pruebas que tengan altas probabilidades de
descubrir posibles fallas.
La prueba de integracin busca fallas en llamadas a
operacin o en conexiones entre mensajes.
Tres tipos de fallas se pueden encontrar: resultado
inesperado, operacin incorrecta / mensaje empleado,
invocacin incorrecta.
La prueba de integracin busca encontrar errores en el
objeto cliente, no en el servidor.

6.3.6 PRUEBA BASADA

EN ESCENARIOS
Esta complementa la anterior, ya que la de fallas soslaya
dos tipos de errores:
a) Especificaciones incorrectas: el producto no hace lo
que el cliente quiere.
b) Interacciones entre subsistemas: ocurren cuando el
comportamiento de un subsistema causa fallas del
otro subsistema.
Este tipo de prueba se enfoca en lo que hace el usuario
no el producto.
Ejemplo: mandar imprimir documento ( con ltima
correccin ? )

6.3.7 PRUEBA DE ARQUITECTURA

CLIENTE / SERVIDOR
Prueba de servidor:
probar las funciones de
coordinacin
y manejo de datos del servidor.
Desempeo del servidor ( tiempo de respuesta y
procesamiento total de los datos )
Prueba de base de datos: probar la exactitud e integridad
de los datos, examinar transacciones, asegurar que se
almacena, actualiza y recuperan los datos.
Pruebas de comunicacin de red: verificar comunicacin
entre los nodos, el paso de mensajes, transacciones y
trafico de la red se realice sin errores.

6.3.7 PRUEBA DE DOCUMENTACION

Es importante para la aceptacin del programa.
Revisar la gua de usuario o funciones de ayuda en lnea.
Prueba de documentacin es en dos fases:
1. Revisar e inspeccionar: examinar la claridad editorial
del documento.
2. Prueba en vivo: usar la documentacin junto con el
programa real.