caja negra


¿Que son las pruebas de caja negra?

Son ni mas ni menos que pruebas funcionales dedicadas a mirar en el exterior de lo que se prueba, se denominan de varias formas
1. Pruebas de caja opaca
2. Pruebas de entrada/salida
3. Pruebas inducidas por datos. Etc..
En el caso de los sistemas de información las pruebas de caja negra se llevan a cabo sobre la interfaz del software obviando elcomportamiento y la estructura del programa.
Los casos de prueba de caja negra pretenden demostrar que:
a. Las funciones del software son operativas
b. La entrada se acepta de forma correcta
c. Se produce una salida correcta
d. La integridad de la información externa se mantiene
Las pruebas de caja negra se centran en el funcionamiento de un módulo específico de algún software y pretendenencontrar estos tipos de errores:
a. Funciones incorrectas o ausentes
b. Errores en la interfaz
c. Errores en estructuras de datos o en accesos a base de datos externas
d. Errores de rendimiento
e. Errores de inicialización y de terminación

Algunos métodos de prueba de caja negra:
a. Métodos de prueba basados en grafos [Pre02]: en este método se debe entender los objetos (objetos de datos,objetos de programa tales como módulos o colecciones de sentencias del lenguaje de programación) que se modelan en el software y las relaciones que conectan a estos objetos. Una vez que se ha llevado a cabo esto, el siguiente paso es definir una serie de pruebas que verifiquen que todos los objetos tienen entre ellos las relaciones esperadas





b. Partición equivalente: Pressman [Pre02]presenta la partición equivalente como un método de prueba de caja negra que divide el campo de entrada de un programa en clases de datos de los que se pueden derivar casos de prueba. Un caso de prueba ideal descubre de forma inmediata una clase de errores que, de otro modo, requerirían la ejecución de muchos casos antes de detectar el error genérico. La partición equivalente se dirige a la definiciónde casos de
prueba que descubran clases de errores, reduciendo así el número total de casos de prueba que hay que desarrollar. 

c. Análisis de valores limite: El análisis de valores límite es una técnica de diseño de casos de prueba que completa a la partición equivalente. En lugar de seleccionar cualquier elemento de una clase de equivalencia, el AVL lleva a la elección de casos de prueba enlos extremos de la clase. En lugar de centrarse solamente en las condiciones de entrada, el AVL obtiene casos de prueba también para el campo de salida
d. Prueba de la tabla ortogonal [Pre02]: hay aplicaciones donde el número de parámetros de entrada es pequeño y los valores de cada uno de los parámetros está claramente delimitado. Cuando estos números son muy pequeños (por ejemplo, 3 parámetrosde entrada tomando 3 valores diferentes), es posible considerar cada permutación de entrada y comprobar exhaustivamente el proceso del dominio de entrada. En cualquier caso, cuando el número de valores de entrada crece y el número de valores diferentes para cada elemento de dato se incrementa, la prueba exhaustiva se hace impracticable. 
e. Adivinando el error[Mye04]: dado un programa particular,se conjetura, por la intuición y la experiencia, ciertos tipos probables de errores y entonces se escriben casos de prueba para exponer esos errores. Es difícil dar un procedimiento para esta técnica puesto que es en gran parte un proceso intuitivo y ad hoc. 
Limitaciones de las pruebas de caja negra
Lo más deseable a la hora de realizar pruebas de caja negra es realizar una cobertura completa,pero, en la mayoría de los casos no es suficiente, siempre hay quecombinarlas con pruebas de integración, ya que por mucho que funcionen los datos de entrada/salida, por dentro o en terceros sistemas, pueden existir defectos que no se están teniendo en cuenta. Estos defectos pueden no acarrear problemas a corto plazo, pero a lo largo del tiempo aparecerán y como dicen…”es mejor el remedio que...