Saltar al contenido

root / tags / methodes-formelles

#méthodes formelles

2 fiches

Agentes de codificación IA y Skills Traducción verificada automáticamente

Agentic Verification — The bottleneck has moved from writing code to knowing it's correct.

Post de **Addy Osmani** en su Substack *Elevate*, publicado el **14 de octubre de 2026**; ~1.900 palabras. Tesis: con los modelos actuales, el cuello de botella ya no es escribir código sino **verificar** su corrección; el trabajo humano pasa de *"revisar cada línea"* a *"construir bucles que el agente pueda ejecutar él mismo"*.

#agentic verification#feedback loop#self-verifying agent

Addy Osmani — ingénieur (Anthropic, cf. fiches antérieures) ; billet sur son Substack *Elevate*.

Arquitectura y Construcción Traducción verificada automáticamente

The End of Code Review: Coding Agents Supersede Human Inspection

Un artículo de arXiv (cs.SE) de Martin Monperrus que defiende una tesis radical para el SDLC: los agentes de codificación han superado un umbral de capacidad tal que **la revisión de código humana ya no es un componente necesario** de un pipeline de calidad. Dos afirmaciones: (1) los sistemas autónomos basados en LLM alcanzan todos los objetivos de la revisión (detección de defectos, calidad, cumplimiento) con menor coste y mayor rendimiento; (2) el modelo híbrido "el agente escribe, el humano revisa" es insostenible — no garantiza una calidad real y no escala al ritmo de la velocidad de la IA, generando una "falsa sensación de seguridad". Monperrus contrasta la inspection de Fagan (1976) con un **pipeline de verificación adversarial multi-agente** (agente generador + agentes revisores independientes + tests/métodos formales + consenso basado en voto). El humano se reenfoca en la especificación, las decisiones arquitectónicas, la aprobación de dominios críticos y los casos límite. Recomendaciones: pilotar primero en componentes de bajo riesgo, medir agente frente a humano, hacer explícitas las decisiones de rechazo.

#code review#code review#inspection de Fagan

Martin Monperrus