DISEO DE CASOS DE

PRUEBA
Alpala Diego
Vaca Diana
ESPE
OBJETIVO
El objetivo del proceso de diseo de casos de
pruebas es crear un conjunto de casos de
pruebas que sean efectivos descubriendo
defectos en los programas y muestren que el
sistema satisface sus requerimientos
Diseo de casos de prueba
Para disear un caso de prueba, se selecciona una
caracterstica del sistema o componente que se est
probando. A continuacin se selecciona un conjunto de
entradas que ejecutan dicha caracterstica, documenta
las salidas esperadas o rangos de salida y, donde sea
posible, se disea una prueba automatizada que pruebe
que las salidas reales y esperadas son las mismas.
Diseo de casos de prueba (OJO)
Existen varias aproximaciones:

Pruebas basadas en requerimientos.
Pruebas de particiones
Pruebas estructurales
Pruebas de Camino
Pruebas basadas en Requerimientos.
Para cada requerimiento se identifica casos de prueba
que puedan demostrar que el sistema satisface ese
requerimiento.
Son pruebas de validacin en lugar de pruebas de
defectos es decir el usuario intenta demostrar que el
sistema ha implementado sus requerimientos de forma
adecuada.

Pruebas de particiones

Se identifican particiones de entrada y se disean pruebas
para que el sistema ejecute entradas de todas las
particiones y genere salidas en todas las particiones.
Las particiones son grupos de datos que tienen
caractersticas comunes, como ejemplo tenemos todos los
nmeros negativos, todos los nombres con menos de 30
caracteres.
Pruebas de particiones

Cada particin de equivalencia se muestra como una elipse.
Pruebas de particiones

Ejemplo
Insertar producto


Nombre
del campo
Clases vlidas Clases no vlidas
idProducto 1. x > 0 2. x <= 0
nombre 3. Sea inferior a 80 caracteres
4. Superior a 80 caracteres
5. Sea igual a 0 caracteres
categoria 6. Sea inferior a 80 caracteres
7. Superior a 80 caracteres
8. Sea igual a 0 caracteres
proveedor 9. Sea inferior a 80 caracteres 10. Superior a 80 caracteres
cantidad 11. x >= 0 12. x < 0
precio
Base
21. x >= 0 22. x < 0
Pruebas de particiones
Diseo de los casos de prueba

Tipo de
prueba
Datos de entrada Clases cubiertas
Resultados
esperados
Resultados
obtenidos
Clase
vlida
idProducto: 121; nombre: rosa amarilla colombiana; categora:
flores; proveedor: flores del paraso; existencias:36; precioBase:
2,1;
1, 3, 6, 9, 11, 13, 15,
17, 19
Insertar un
producto
Se ha
insertado
un
producto
Clase
no
vlida
idProducto: 0; nombre: rosa azul colombiana rosa azul
colombiana rosa azul colombiana rosa azul colombiana rosa azul
colombiana; categora: flores rosa azul colombiana rosa azul
colombiana rosa azul colombiana rosa azul colombiana flores
flores; proveedor: flores del paraso rosa azul colombiana rosa
azul colombiana rosa azul colombiana rosa azul colombiana
flores del paraso; existencias:36; precioBase: 2,1
2, 4, 7 y 10
Error
insertando
un
producto
Error SQL
durante el
proceso
de
insercin
Pruebas estructurales.
Donde se utiliza el conocimiento de la estructura del programa
para disear pruebas que ejecuten todas las partes del programa.
Esta aproximacin se denomina a veces pruebas de caja blanca o
cristal, transparente para distinguirla de pruebas de caja negra
Pruebas de Caminos:
Estrategia de Pruebas Estructurales.
Objetivo:
Asegurar que cada camino independiente en el programa se
ejecuta al menos una vez

Todas las sentencias en el componente se ejecutarn al menos una vez, y
todas las sentencias condicionales comprueban los casos verdaderos y falsos.
Usadas en:
Principalmente durante las pruebas de componentes
Punto de Partida:
Grafo de flujo del programa
Decisiones
Flujo de Control
Nodos:
Aristas:
Construccin de un Grafo de flujo:
Reemplazando las sentencias de control de programa por
diagramas equivalentes.
Cada rama en una sentencia condicional (if-then-else o case),
se muestra como un camino independiente
Para denotar un bucle usaremos una flecha que vuelve al nodo
de la condicin.


Camino Independiente:
Recorre al menos una arista en el grafo de flujo Ejecutar una o
mas condiciones nuevas
COMPLEJIDAD CICLOMTICA
Usada para encontrar el nmero de caminos independientes en
un programa
CONDICIONES SIMPLES:
CONDICIONES COMPUESTAS:

Es una expresin lgica sin conectores <<and>> u <<or>>
El valor de la complejidad ciclomtica es uno mas que el
numero de condiciones en el programa

El valor de la complejidad ciclomtica es el nmero de
condiciones simples en las condiciones compuestas
Ejm:
Grafo:
Diseo de Casos de Prueba:
El nmero mnimo de casos de prueba necesarios para probar todos
los caminos del programa es igual a la complejidad ciclomtica.

Analizador Dinmico:
Son herramientas de prueba que trabajan conjuntamente con los
compiladores. Durante la compilacin estos analizadores aaden
instrucciones adicionales al cdigo generado.
Cuentan el nmero de veces que una sentencia ha sido ejecutada en
un programa, despus se imprime un perfil de ejecucin, en el que se
muestra partes del programa que han sido y no han sido ejecutadas,
utilizando casos de pruebas particulares

Revela secciones del programa no probadas