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 y 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
2,3

11

Rutas independientes: Ruta 1: Ruta 2: Ruta 3: Ruta 4: 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

6
R2

4,5

R1

8 10

R3

Genera ruta cada vez que se pasa por una arista nueva
R4

6.3.1 PRUEBA DE LA RUTA BASICA

1
2,3

11

La complejidad ciclomtica se basa en la teora grfica y se calcula de tres maneras: 1. Nmero de regiones

6
R2

4,5

R1

8 10

R3

R4

6.3.1 PRUEBA DE LA RUTA BASICA

1
2,3

11

2. Complejidad ciclomtica es igual a nmero de aristas, menos el nmero de nodos ms 2 V(G) = E N + 2

6
R2

4,5

R1

8 10

R3

V(G) = 11 9 + 2 = 4

R4

6.3.1 PRUEBA DE LA RUTA BASICA

1
2,3

11

3. Complejidad ciclomtica es igual al nmero de nodos predicado ms uno V(G) = P + 1

6
R2

4,5

R1

8 10

R3

V(G) = 3 + 1 = 4

R4

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
2,3

11

Recordar se puede utilizar las matrices y si se les da peso a cada nodo esto nos ayuda a conocer : Probabilidad de ejecucin de un enlace Tiempo de procesamiento al recorrer un enlace Memoria al recorrer un enlace Recursos al recorrer un enlace

6
R2

4,5

R1

8 10

R3

R4

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.