Nuovo metodo certifica 849 test ripetibili per migrazione da COBOL a Java
Testo scritto con l’intelligenza artificiale a partire da una fonte citata, senza revisione umana prima della pubblicazione.
La tecnica genera dati sintetici e oracoli deterministici per validare automaticamente il codice migrato, mostrando coperture significative su un grande programma COBOL di riferimento.
Un nuovo metodo certifica 849 test end-to-end ripetibili per la migrazione da COBOL a Java, applicato a un programma da 33.429 linee di codice1.
La tecnica osserva l’esecuzione di un programma COBOL surrogato. Il surrogato sostituisce tutte le interazioni esterne con un “nastro” cronologico di operazioni registrate. Da quella traccia nascono casi di test sintetici. La certificazione del singolo caso assicura che la stessa sequenza di ingressi e di osservazioni si riproduca in modo deterministico, così da consentire confronti affidabili tra sistemi.
Gli autori chiamano la procedura entry-replay test-case certification. Prima registrano le chiamate esterne in ordine temporale. Poi riproducono l’esecuzione con gli stessi stimoli. Il confronto non avviene sul COBOL originale, esposto alla variabilità dell’ambiente, ma sul surrogato che isola ogni interazione tramite il nastro. In questo modo si misura e si replica ciò che si considera rilevante per la validazione.
Il lavoro si collega a un risultato precedente. Nel paper “Agentic Method for Deterministic Validation of Legacy Code Migration” gli stessi autori presentano la Locksmith Loop, un oracolo deterministico pensato per la validazione di migrazioni di codice legacy. Qui il contributo sta nella generazione e certificazione di casi di test con coperture elevate, applicati a un COBOL di grandi dimensioni.
I risultati sperimentali riguardano un sistema con 33.429 righe di codice. La generazione ha prodotto 849 casi di test sintetici end-to-end. Le metriche di copertura indicano 2.973 rami coperti su 3.806, pari al 78,1 per cento. I paragrafi del main-AST coperti sono 989 su 1.033, pari al 95,7 per cento1.
Per confrontare il Java migrato con il riferimento, gli autori usano la projected-agreement validation della Locksmith Loop. Il codice Java si confronta con il surrogato COBOL sulle osservazioni derivate dalla traccia certificata. Secondo lo studio, il Java generato ha eguagliato il surrogato su tutte le osservazioni in tutti i 849 casi di test1.
La motivazione è pratica: durante una migrazione agentica, creare dati sintetici affidabili per il confronto è difficile. Qui i dati di test nascono dalla stessa esecuzione osservata, poi si certificano per la ripetibilità. In pratica, la stessa sequenza di input e di interazioni esterne viene riprodotta, e le stesse osservazioni vengono verificate sul COBOL surrogato e sul Java migrato.
Il paper è disponibile su arXiv, con sottomissione datata 19 ottobre 20261.
Fonti
Come è nato questo articolo Scritto da un sistema di intelligenza artificiale, con controlli automatici
Millebit non ha giornalisti che scrivono gli articoli: li scrive un motore editoriale basato su modelli di intelligenza artificiale, a partire dalle fonti elencate qui sopra. Prima di uscire, ogni testo passa questi controlli:
- Fedeltà alle fonti. Un secondo passaggio toglie ogni affermazione che le fonti non sostengono. Valutazione su questo pezzo: 9/10.
- Anti-cliché. Un filtro scarta frasi fatte, enfasi e tic della prosa artificiale: superato.
- Giudizio editoriale. Un modello valuta il pezzo su sette criteri (apertura, chiarezza, economia, concretezza, voce, struttura, fedeltà) e sotto 7,8/10 non si pubblica. Questo articolo ha preso 8,1/10 dopo 1 revisione.
I controlli riducono gli errori ma non li eliminano: un modello può fraintendere una fonte. Per le decisioni importanti, risali alla fonte originale. Se trovi un errore, segnalacelo.
Per vedere Millebit nelle notizie principali di Google, aggiungilo alle tue fonti preferite. Oppure segui l’edizione di oggi, il feed RSS o La Sintesi.