CAMINO BASICO

El objetivo es ejecutar al menos una vez cada una

de las instrucciones que componen el codigo de un
metodo.

Agruparemos las instrucciones del pseudocodigo, el criterio a

seguir sera: Un nodo para instrucciones consecutivas sin
estructuras de control, un nodo para los SI, para los
MIENTRAS, para los HACER, para los FINSI, FIN MIENTRAS,
FIN, los SINO se agrupan con sus instrucciones
Realizaremos un diagrama de la estructura del metodo
llamado grafo de flujo que representa las estrucucturas de
control utilizadas y el enlace entre ellas. Siendo los nodos, una
o varias instrucciones, y las aristas el camino seguido por la
informacion.
Calculamos el numero de caminos independientes.
Un camino es independiente de otro si al menos pasa por una
arista nueva.
- Complejidad ciclomatica de McCabe: caminos = (AristasNodos)+2 o caminos = P+1, siendo P nodos predicado (de
ellos parte mas de una arista.
Definimos los casos de prueba que obligaran al programa a
pasar por cada uno de los caminos.

CAJA BLANCA
Comprobar la logica interna

PRUEBA DE CONDICIONES

Programa pide un numero y usuario introduce:

Respuesta esperada:

-3

El numero debe ser mayor que 0

Para 1 la suma es 1

Para 3 la suma es 6

Si en el codigo que vayamos a probar aparecen estructuras de

seleccin tendremos que asegurar que funcionan
correctamente:

Si es una seleccin doble tendremos

que ejecutar un caso para la rama
verdadera y otro para la falsa.
Normalmente coinciden con algun caso
de la prueba del camino basico.

Para el caso de selecciones multiples,

es decir, condiciones unidas por un
operador logico ( & | ! ) debemos incluir
casos que contemplen todas las
situaciones que se puedan dar

PRUEBAS: Conjunto de actividades

para comprobar que el producto
responde a los requisitos del cliente.

PRUEBA DE LOS BUCLES

El objetivo es comprobar la validez de los bucles

que se han construido en el programa.

1- PRUEBAS DE
UNIDAD

BUCLES SIMPLES:
Se debe considerar el numero maximo de vueltas (n) y
generar los siguientes casos:
- Pasar por alto el bucle.
- Pasar solo una vez por el bucle
- Pasar dos veces por el bucle.
- Pasar m veces por el bucle con m<n
- Pasar n-1 y n+1 veces por el bucle.
BUCLES ANIDADOS:
Comenzamos desde el bucle mas interno al mas externo,
aplicando a cada bucle lo aplicado en los bucles simples.

Dirigidas al bloque basico del software.

En POO hablamos de los mtodos por lo que
habra que disear casos de prueba para
determinar que todos los metodos funciona n
correctamente. Para disear los casos de prueba
se usan las tecnicas de cajas blanca y negra

BUCLES CONCATENADOS:
Realizamos los pasos de los bucles simples para cada bucle.

1- Identificar las clases de equivalencia estudiando las

restricciones tanto en formato como en valores:

PARTICION EQUIVALENTE

Consiste en dividir el dominio de las entradas a un

metodo en conjuntos de datos validos y no validos
para las condiciones de entrada.

CAJA NEGRA
No importa el codigo, solo la
respuesta del metodo a distintos
datos

Si debe estar comprendida en un rango

de valores, entre m y M, tendremos una
clase valida m<n<M y dos no validas,
n<m y n>M
Si la entrada tiene que tener un formato
especifico, como c n. de caracteres,
sacaremos una clase valida caracteres
= c y dos no validas, caracteres < c y
caracteres > c
Si la condicion de entrada es logica,
tendremos una clase valida,
entrada=true y una no valida
entrada=false
Si la entrada debe pertenecer a un
conjunto de valores permitidos,
tendremos una clase valida para cada
valor y una no valida con un valor fuera
del conjunto
2- Generar los casos de prueba de manera individual para las
clases validas y no validas.

ANALISIS DE LOS
VALORES LIMITE
Completa la particion equivalente, se someten a
prueba los margenes y los valores por encima y
por debajo de ellos

Validas

El usuario introduce:

Resultado esperado:

28

2147483647

Proceso largo sin errores

3,5

NumberFormatException

2147483648

NumberFormatException

El numero debe ser mayor que cero

No validas
NumberFormatException

Con todos los casos de prueba se realiza el

PLAN DE PRUEBAS que se utilizara para
comprobar que el producto obtenido funciona
correctamente.
Un buen caso de prueba es el que tiene una
probabilidad alta de encontrar un error, y la
prueba tiene xito si se descubre el error, dando
comienzo la depuracion.