Análisis de cobertura de código y detección de defectos