Se comprueba que todos los caminos del programa, se pueden recorrer, al menos una vez.

Se comprueba que los resultados son los esperados para las entradas proporcionadas.

Es necesario conocer el código fuente del programa, para realizar las pruebas.

Es incompatible con la prueba de caja blanca.