Técnica o Pruebas de Caja Negra

Son complementarias a las de caja blanca. Pero en la práctica se hace normalmente solo la prueba de caja negra.

Errores habituales que se encuentran con pruebas de caja negra:
*Funciones inexistentes o incorrectas.
*Errores de interfase.
*Errores de iniciación, comienzo o finalización.
*Errores de rendimiento.

La prueba de caja negra responde a las preguntas:
*Que casos de entrada terminan definiendo buenos casos de prueba.
*Si el sistema es sensible a determinados casos de entrada.
*Que volúmenes (niveles de datos) tolera el sistema.

Planteamos 2 técnicas:

1)- Análisis de Valores Límites:
Pressman dice que no hay una identificación clara de los valores límite, dice que suele haber más errores en los valores límites que en los típicos.
Cuando hablamos de Valores Limites lo que decimos es que elegimos casos de prueba en los límites o bordes de la clase que estamos probando. (Ej.: Si una condición de entrada o salida exige un rango entre B y R, se realizan los casos de prueba para los valores B y R, y además a los valores que están por encima de ellos, es decir A y S).

2)- Partición Equivalente:
Es una técnica de simplificación de pruebas.
Hay que dividir el dominio de entrada de un programa en clases de datos que tengan algo en común, de ahí derivan clases de prueba y por lo tanto también derivan clases de errores, de esta forma no hay necesidad de ejecutar muchas pruebas para encontrar errores genéricos.

Para lograr esta se evalúan las clases de equivalencias posibles para una condición de entrada.

Clases de equivalencias: Son los conjuntos de estados (válidos o no) para las condiciones de entrada.

Condiciones de entrada: Valor numérico, rango de valores, condición booleana (si o no).

- Si una condición de entrada especifica un rango, se propone definir una clase de equivalencia valida y 2 inválidas.
- Si una condición de entrada especifica un número, un valor, se define una clase de equivalencia igual al caso anterior, (1 valida y 2 inválidas).
- Si una condición de entrada especifica un miembro de un conjunto, se define una condición valida y una invalida.
- Si es booleana, se define una clase de equivalencia igual al caso anterior (1 valida y 1 inválida).