Las pruebas de caja blanca (tambin conocidas como pruebas de caja de cristal o

pruebas estructurales) se centran en los detalles procedimentales del software, por lo

que su diseo est fuertemente ligado al cdigo fuente. El testeador escoge distintos
valores de entrada para examinar cada uno de los posibles flujos de ejecucin del
programa y cerciorarse de que se devuelven los valores de salida adecuados.
Al estar basadas en una implementacin concreta, si sta se modifica, por regla general
las pruebas tambin debern redisearse.
Aunque las pruebas de caja blanca son aplicables a varios niveles unidad, integracin
y sistema, habitualmente se aplican a las unidades de software. Su cometido es
comprobar los flujos de ejecucin dentro de cada unidad (funcin, clase, mdulo, etc.)
pero tambin pueden testear los flujos entre unidades durante la integracin, e incluso
entre subsistemas, durante las pruebas de sistema.
A pesar de que este enfoque permite disear pruebas que cubran una amplia variedad de
casos de prueba, podra pasar por alto partes incompletas de la especificacin o
requisitos faltantes, pese a garantizar la prueba exhaustiva de todos los flujos de
ejecucin del cdigo analizado.
Las principales tcnicas de diseo de pruebas de caja blanca son:

Pruebas de flujo de control

Pruebas de flujo de datos

Pruebas de bifurcacin (branch testing)

Pruebas de caminos bsicos

Caja Negra
En teora de sistemas y fsica, se denomina caja negra a aquel elemento
que es estudiado desde el punto de vista de las entradas que recibe y las
salidas o respuestas que produce, sin tener en cuenta su funcionamiento
interno. En otras palabras, de una caja negra nos interesar su forma de
interactuar con el medio que le rodea (en ocasiones, otros elementos que
tambin podran ser cajas negras) entendiendo qu es lo que hace, pero
sin dar importancia a cmo lo hace. Por tanto, de una caja negra deben
estar muy bien definidas sus entradas y salidas, es decir, su interfaz; en
cambio, no se precisa definir ni conocer los detalles internos de su
funcionamiento.

Caja negra y programacin modular

En programacin modular, donde un programa (o un algoritmo) es dividido en mdulos,
en la fase de diseo se buscar que cada mdulo sea una caja negra dentro del sistema

global que es el programa que se pretende desarrollar, de esta manera se consigue una
independencia entre los mdulos que facilita su implementacin separada por un equipo
de trabajo donde cada miembro va a encargarse de implementar una parte (un mdulo)
del programa global; el implementador de un mdulo concreto deber conocer como es
la comunicacin con los otros mdulos (la interfaz), pero no necesitar conocer como
trabajan esos otros mdulos internamente; en otras palabras, para el desarrollador de un
mdulo, idealmente, el resto de mdulos sern cajas negras.

Pruebas de software
En pruebas de software, conociendo una funcin especfica para la que fue diseado el
producto, se pueden disear pruebas que demuestren que dicha funcin est bien
realizada. Dichas pruebas son llevadas a cabo sobre la interfaz del software, es decir, de
la funcin, actuando sobre ella como una caja negra, proporcionando unas entradas y
estudiando las salidas para ver si concuerdan con las esperadas.