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 ingeniero de pruebas 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 probar 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
Pruebas de Caja Negra y Caja Blanca

De acuerdo al grado de conocimiento de la estructura interna del sistema

bajo prueba se pueden clasificar las pruebas en:
Pruebas de caja blanca (White-Box Testing). Son pruebas
estructurales. Conociendo el cdigo y siguiendo su estructura lgica,
se pueden disear pruebas destinadas a comprobar que el cdigo
hace correctamente lo que el diseo de bajo nivel indica y otras que
demuestren que no se comporta adecuadamente ante determinadas
situaciones. Ejemplos tpicos de ello son las pruebas unitarias. Se
centran en lo que hay codificado o diseado a bajo nivel por lo que
no es necesario conocer la especificacin de requisitos, que por otra
parte ser difcil de relacionar con partes diseadas a muy bajo nivel.
Las pruebas de caja negra (Black-Box Testing) son pruebas
funcionales. Se parte de los requisitos funcionales, a muy alto nivel,
para disear pruebas que se aplican sobre el sistema sin necesidad
de conocer como est construido por dentro (Caja negra). Las
pruebas se aplican sobre el sistema empleando un determinado
conjunto de datos de entrada y observando las salidas que se
producen para determinar si la funcin se est desempeando
correctamente por el sistema bajo prueba. Las herramientas bsicas
son observar la funcionalidad y contrastar con la especificacin.

Ejemplos tpicos de pruebas de caja negra son la comprobacin de

valores lmite, pruebas de integridad de la base de datos, pruebas de
situaciones de excepcin, o pruebas de rendimiento del sistema.
Presentan una limitacin en cuanto a que es prcticamente imposible
reproducir todo el espectro por la innumerable cantidad de
combinaciones de entrada posibles, agravada por el desconocimiento
de la lgica interna.