Vai al contenuto

root / tags / tests-bases-sur-les-proprietes

#tests basés sur les propriétés

2 fiches

Agenti di codifica IA e Skills Traduzione verificata automaticamente

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

Post di **Addy Osmani** sulla sua Substack *Elevate*, pubblicato il **14 ottobre 2026**; ~1.900 parole. Tesi: con i modelli attuali, il collo di bottiglia non è più la scrittura del codice ma la sua **verifica**; il lavoro umano passa dal *"revisionare ogni riga"* al *"costruire loop che l'agente può eseguire da solo."*

#verifica agentica#loop di feedback#agente auto-verificante

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

Architettura e Costruzione Traduzione verificata automaticamente

The End of Code Review: Coding Agents Supersede Human Inspection

Un paper arXiv (cs.SE) di Martin Monperrus che sostiene una tesi radicale per lo SDLC: gli agenti di codifica hanno superato una soglia di capacità tale per cui **la revisione umana del codice non è più una componente necessaria** di una pipeline di qualità. Due affermazioni: (1) i sistemi autonomi basati su LLM raggiungono tutti gli obiettivi della revisione (individuazione dei difetti, qualità, conformità) a costi inferiori e con un throughput superiore; (2) il modello ibrido "l'agente scrive, l'umano rivede" è insostenibile — non garantisce una qualità reale e non scala con la velocità dell'IA, creando un "falso senso di sicurezza". Monperrus contrappone l'inspection de Fagan (1976) a una **pipeline di verifica avversariale multi-agente** (agente generatore + agenti revisori indipendenti + test/metodi formali + consenso basato su voto). L'essere umano si concentra sulle specifiche, sui compromessi architetturali, sull'approvazione dei domini critici e sui casi limite. Raccomandazioni: fare pilotaggio prima su componenti a basso rischio, misurare agente vs. umano, rendere esplicite le decisioni di rigetto.

#revisione del codice#revisione del codice#inspection de Fagan

Martin Monperrus