El documento describe el uso del plugin EclEmma en Eclipse para verificar el código Java y realizar pruebas de caja blanca. Se detallan los pasos para instalar el plugin, cómo ejecutarlo y analizar la cobertura del código a través de diferentes caminos posibles. Además, se explica cómo los colores en el informe de cobertura indican las secciones que el programa puede o no recorrer.