A quién le sirve. Programadores y equipos de desarrollo con código propio, sobre todo si tienen lectores de formatos, conversores o transformaciones de datos que conviene probar a fondo.
Qué hicieron
El autor dio una charla en su trabajo sobre pruebas de propiedades (comprobar que el código cumple reglas generales con miles de casos inventados) con enjambres de agentes. Había encontrado unos 30 errores en el código de su empresa. Para escribir un artículo que no girara en torno a ellos, aplicó el mismo método a proyectos de código abierto como uv, codex y prometheus. El texto no explica cómo funciona.
Cómo salió
El autor cuenta unos 100 errores encontrados en los proyectos abiertos y dice que muchas correcciones ya están aceptadas. No desglosa los datos por proyecto.
Conviene saber
El texto es un anuncio breve: no da coste, configuración ni herramientas. Busca el artículo que promete el autor para conocer el método.
Qué necesitas
- Un agente de programación. El del caso es Codex, y Claude Code hace un trabajo parecido.
- El código que quieres probar, en tu ordenador.
- Una herramienta de pruebas de propiedades de tu lenguaje, como Hypothesis en Python o fast-check en JavaScript.
- Una rama aparte para trabajar sin tocar el código bueno.
- Una persona que revise los errores que salgan.
Cómo hacerlo tú, paso a paso
- Elige un módulo con reglas generales claras, como un conversor, un lector de formatos o una transformación de datos.
- Pide al agente que escriba pruebas de propiedades: reglas que deben cumplirse siempre, probadas con miles de casos inventados.
- Ejecuta las pruebas. Por cada caso que falle, pídele que lo reduzca a un ejemplo mínimo y que diga si parece un error real.
- Cuando una prueba funcione, repite con otros módulos. Si quieres ir más rápido, lanza varios agentes a la vez, cada uno con un módulo distinto.
- Pídele una lista de errores confirmados, con los pasos para reproducirlos y un arreglo sugerido.
- Revisa tú los arreglos antes de aplicarlos. Si el código es de un proyecto abierto, propón el cambio a sus responsables.
Mira [mi repositorio o módulo] y escribe pruebas de propiedades con [Hypothesis, fast-check o la herramienta de mi lenguaje] para sus funciones principales, como lectores de formatos, conversores y transformaciones de datos. Ejecútalas y, por cada caso que falle, redúcelo a un ejemplo mínimo y dime si parece un error real. Habrás terminado cuando me entregues una lista de errores confirmados con los pasos para reproducirlos y arreglos sugeridos. No cambies mi código sin preguntarme.
Consejos
- La fuente es un anuncio breve y no cuenta el método, el coste ni las herramientas. Estos pasos son una versión general, así que busca el artículo que promete el autor para ver los detalles.
- Pídele que no cambie tu código sin preguntarte y que trabaje en una rama aparte.
- Un fallo de la prueba no siempre es un error del código. A veces la regla está mal escrita, así que comprueba que el fallo es real.
Preguntas frecuentes
¿Qué es una prueba de propiedades?
En vez de probar unos pocos ejemplos escritos a mano, defines una regla general, como «convertir y volver a convertir devuelve el original», y la herramienta la prueba con miles de casos inventados.
¿Sirve si no programo?
No directamente, porque es una técnica para equipos que escriben código. Si tienes a alguien técnico, enséñale este caso.
Fuentes
En el directorio desde el 14 de octubre de 2026.