Que el código pase la compilación no demuestra que haga lo que necesitas. En Python, una rama que no se ejecuta puede contener el nombre de una función inexistente sin que el problema aparezca hasta que el programa llegue a esa rama; y un error lógico puede producir una respuesta equivocada sin lanzar ninguna excepción. Para encontrar la causa, separa tres preguntas: ¿el código se puede analizar?, ¿qué ocurre al ejecutarlo?, y ¿el resultado cumple el requisito?
Qué significa que el código compile —y qué no demuestra
Compilar, ejecutar y cumplir el requisito son comprobaciones distintas. La primera indica que el código superó las comprobaciones que aplican el compilador o las herramientas usadas. La ejecución muestra qué pasa con una entrada concreta y por una ruta concreta. La corrección funcional exige comparar ese comportamiento con lo que el programa debía hacer.
As an Amazon Associate I earn from qualifying purchases.
En Python, muchas comprobaciones de nombres y tipos se aplazan hasta que se ejecuta la línea correspondiente. Google for Developers lo explica así: “Python realiza muy pocas verificaciones en el tiempo de compilación y difiere casi todas las verificaciones de tipo, nombre, etcétera, en cada línea hasta que se ejecuta esa línea.” Por eso, una función mal escrita dentro de una rama condicional puede no causar problemas mientras esa rama no se ejecute. Cuando sí se alcanza, Python puede producir un NameError. Este ejemplo describe Python; otros lenguajes y compiladores realizan comprobaciones diferentes.
Identifica qué clase de fallo tienes
| Tipo de fallo | Qué ocurre | Señal útil |
|---|---|---|
| Error sintáctico | El texto no cumple la gramática del lenguaje, así que el programa no puede analizarse correctamente. | El analizador suele señalar una ubicación. En Python, esa ubicación puede no coincidir exactamente con el punto que hay que corregir. |
| Problema detectado por análisis estático | Una herramienta revisa el código sin ejecutar todas sus rutas y puede señalar ciertos usos de nombres, tipos u otras propiedades, según su capacidad y configuración. | Un diagnóstico de la herramienta; que no aparezca uno no demuestra que el comportamiento sea correcto. |
| Excepción durante la ejecución | Una expresión válida sintácticamente falla cuando se ejecuta, por ejemplo, por dividir por cero, usar un nombre inexistente o pasar un tipo inadecuado. | La excepción y el traceback, que muestra contexto de llamadas y líneas de origen. |
| Error lógico | El programa avanza, pero aplica una regla equivocada o produce un resultado que no satisface el requisito. | La diferencia entre la salida observada y la esperada; puede no haber mensaje de error. |
La documentación oficial de Python explica la diferencia entre errores y excepciones, con ejemplos como ZeroDivisionError, NameError y TypeError, y describe la información del traceback en Errores y excepciones de Python 3.12. Si el programa simplemente calcula algo incorrecto, empieza por tratarlo como una discrepancia de comportamiento, no por esperar que aparezca una excepción.
#1 Best Overall
Cómo investigar un resultado incorrecto paso a paso
- Reproduce el problema. Guarda la entrada que lo provoca y anota qué esperabas y qué obtuviste. Cambia una cosa por vez para no confundir la causa.
- Reduce el ejemplo. Quita datos y pasos que no sean necesarios, conservando el fallo. Un caso mínimo deja más visible qué condición, valor o llamada provoca la diferencia.
- Escribe una expectativa comprobable. Para cada caso, registra entrada, salida esperada y salida observada. Así puedes determinar si el programa se desvía y en qué ejemplo.
- Prueba las ramas y los límites. Además del caso habitual, considera valores mínimos y máximos relevantes, entradas vacías o inválidas y rutas alternativas. Un fallo que depende de una condición puede quedar oculto si solo pruebas el camino más común.
- Inspecciona el estado de la ejecución. Coloca un breakpoint antes del punto donde el comportamiento se desvía, avanza por las instrucciones y compara los valores de las variables y la pila de llamadas con lo que esperabas. Microsoft Learn explica este enfoque de depuración en Corrección de errores de programa y mejora del código.
- Conserva el caso que fallaba como prueba de regresión. Después de corregirlo, vuelve a ejecutar las pruebas cuando cambies el código para detectar si el problema reaparece o si aparece otro.
Para organizar las pruebas, usa pares de entrada y resultado esperado y compáralos con los resultados reales. El material de Introducción a programación del IES Doñana advierte: “Las pruebas pueden detectar la presencia de errores, pero nunca pueden garantizar la ausencia de los mismos.” En la práctica, eso significa que una prueba satisfactoria acredita el caso que ejecutaste, no todas las entradas ni todas las rutas posibles.
Independent reader supportYour contribution helps us test, update, and keep practical guides available for everyone.Qué pueden aportar las herramientas automáticas
En Python, el análisis estático y los chequeadores de anotaciones de tipos pueden aportar una señal adicional antes de ejecutar el programa. La FAQ de CPython enumera herramientas como Ruff, Pylint y Pyflakes para comprobaciones básicas, y mypy, entre otras, para anotaciones de tipo. La cobertura que obtengas depende del código y de la configuración; consulta la documentación vigente de cada herramienta antes de elegirla o configurarla. La lista puede cambiar junto con la documentación del proyecto: Programming FAQ de CPython.
Estas herramientas no sustituyen las pruebas ni la depuración interactiva. Un analizador puede advertir sobre ciertos patrones y no detectar que una fórmula válida implementa la regla equivocada. Una prueba compara un comportamiento concreto con una expectativa; el depurador permite observar qué valores y llamadas condujeron al resultado. Son formas distintas de reunir evidencia, no garantías de ausencia de errores.
Recommended Free Tools
Quick Recap
Product prices and availability are accurate as of the date/time indicated and are subject to change. Any price and availability information displayed on Amazon at the time of purchase will apply.
