• concorrenza
• instrumentazione
• java
• testing

Il testing ed il debugging sono due fasi del ciclo di vita di un sistema software che contribuiscono a più di metà del costo di sviluppo di un’applicazione. Per il testing di programmi sequenziali sono state sviluppate varie tecniche e metodologie, oltre alla messa a punto di strumenti automatici; il testing di programmi concorrenti (paralleli e distribuiti) ha messo in evidenza nuovi problemi e nuove difficoltà che non possono essere affrontate semplicemente con le tecniche sviluppate per applicazioni sequenziali. Il presente lavoro di tesi si propone di produrre uno strumento di analisi di programmi concorrenti che permetta di tenere sotto controllo il non-determinismo legato alla concorrenza tra processi. L’approccio teorico seguito si basa sulla raccolta di sequenze di sincronizzazioni tra processi/thread esercitata dall’applicazione sotto esame tramite le quali è possibile riprodurre in maniera deterministica il comportamento. La tecnica utilizzata per la raccolta delle sequenze utili si basa sulla modifica del codice sorgente di un’applicazione per generare una nuova applicazione funzionalmente equivalente a quella data ma in grado di registrare tracce di esecuzione a partire da cui è possibile effettuare il replay e l’analisi di concorrenza. L’applicazione risultato della presente tesi espone i propri servizi sia da linea di comando, sia tramite un’interfaccia grafica sviluppata come modulo plugin per la piattaforma NetBeans su cui sono basati vari ambienti integrati di sviluppo, in primis SunOne Studio. In virtù di questa scelta, il prodotto risulta di immediato utilizzo pratico e disponibile per una grande utenza.