El futuro es la ingeniería de verificación
Comentario sobre Tester Army: pruebas fijas y pruebas hechas por agentes.
Fuente ↗Personas relevantes
Guillermo Rauch
Por qué importa
Es argentino y dirige Vercel, la empresa detrás de Next.js. Anuncia sus decisiones de producto y opina sobre cómo cambia el trabajo de programar.
Último registro
Opinión · Verificación
Si la IA escribe el código, ¿quién demuestra que funciona?
Al comentar el lanzamiento de Tester Army, escribió que el futuro es la ingeniería de verificación.
Ver publicación original ↗Publicación original
“El futuro es la ingeniería de verificación. Pruebas formales, pruebas completas del programa, mediciones de rendimiento, revisores automáticos de código… Algunas pruebas serán fijas y otras las harán agentes. Esto se ve muy bien.”
Original en inglés: “The future is verification-engineering. Proofs, (e2e) tests, benchmarks, linters… Some tests will be deterministic, some agentic. This looks great.”
Qué está diciendo
Rauch escribe esto al comentar el lanzamiento de Tester Army, una herramienta gratuita en la que programas de inteligencia artificial prueban software por su cuenta. Un programa de inteligencia artificial puede escribir miles de líneas de código en minutos, y alguien tiene que comprobar que hagan lo que deben.
Enumera formas de hacerlo: demostraciones matemáticas, pruebas que recorren el programa como lo haría un usuario, mediciones de rendimiento y revisores automáticos de código. Anticipa que algunas pruebas serán fijas y otras las harán agentes de inteligencia artificial.
Creemos que el trabajo se mueve hacia definir qué casos cubrir, qué resultado esperar y cuándo un error es aceptable. Ese criterio difícilmente pueda delegarse por completo en el mismo sistema que escribió el código.
En contexto
Es una frase corta, sin datos propios.
Rauch comentó el lanzamiento de otra herramienta en pocas líneas y no presentó datos. La lectura sobre el cambio en el oficio es nuestra, no una cita suya.
Historial