Comprobación del código de programación en busca de errores