Sviluppo Guidato da Protocollo: Governare il Codice Generato dall'IA attraverso Invarianti

Un nuovo articolo su arXiv introduce lo Sviluppo Guidato da Protocollo (PDD), un modello per governare il software generato automaticamente. Il PDD sposta l'artefatto primario dal codice di implementazione a un protocollo eseguibile dalla macchina definito come una tripla (S, B, O) che specifica invarianti strutturali, comportamentali e operative. Questo approccio mira a risolvere il problema di governance introdotto dalla sintesi automatica di programmi, dove le specifiche in linguaggio naturale e i test basati su esempi sono confini di controllo insufficienti. L'articolo sostiene che il PDD definisce uno spazio di implementazione ammissibile, trattando le implementazioni come realizzazioni sostituibili scoperte attraverso la sintesi.