Valutazione automatica della coerenza tra codice sorgente e relativa documentazione

La presente tesi riguarda la progettazione di un software per la valutazione automatica della coerenza tra codice sorgente C, e documentazione funzionale. Il software è ideato al fine di coadiuvare lo sviluppatore nella scrittura di codice C. Mediante tecniche di analisi testuale, controlla che i parametri funzionali vengano utilizzati in accordo a quanto definito, secondo uno specifico formato standardizzato, nella documentazione relativa. Lo strumento è fruibile da linea di comando, ed il suo utilizzo è da intendersi come contestuale e precedente alla fase di compilazione, al fine di migliorare coerenza e qualità del codice scritto. Il motore di analisi testuale fa uso di un analizzatore lessicale, di algoritmi di pattern matching e esplorazione di grafi. Il formato standardizzato con il quale si intende che la documentazione venga scritta è arbitrario, e derivato dal corso Laboratorio di Ingegneria Informatica.