Idea principale

La coerenza tra il codice di un software e il suo modello di dominio di solito resta implicita. Un'ontologia tenuta allineata al codice permette di renderla osservabile con alcune misure: la copertura dell'ontologia, cioè la quota dei concetti di business individuati nel codice che hanno una rappresentazione nell'ontologia; la tracciabilità, cioè il numero di concetti collegati alla loro implementazione da riferimenti verificabili; il numero di incoerenze confermate e non risolte, che dà un'idea della deriva; e la quota di invarianti associati a test eseguibili, che misura la solidità della rete di sicurezza.

Nessuna di queste misure è un indicatore di qualità assoluto. Tutte dipendono da una stessa capacità: distinguere un vero concetto di business da una classe, una tabella o un package che è solo un dettaglio tecnico.

Perché è importante

Queste misure offrono un'alternativa al conteggio delle righe di codice in un momento in cui gli agenti ne producono molte: seguire la coerenza concettuale di un software nel corso delle sue evoluzioni invece del suo volume.

Sfumature e limiti

Se la separazione tra concetto e rumore tecnico è sbagliata, ogni indicatore misura rumore con precisione. I numeri valgono quanto vale questa separazione, ed è fatta in parte da un LLM.

Domande aperte

• Un indicatore di copertura dell'ontologia resiste al riflesso di ottimizzarlo per se stesso, aggiungendo al modello concetti che non lo sono?