logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-10162003-221259


Tipo di tesi
Tesi di laurea vecchio ordinamento
Autore
Alfeo, Salvatore
Indirizzo email
salvatore.alfeo@vodafone.it
URN
etd-10162003-221259
Titolo
Progettazione ed implementazione per un ambiente di sviluppo integrato di uno strumento di analisi di programmi Java concorrenti
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
relatore Prof. Prete, Cosimo Antonio
Parole chiave
  • concorrenza
  • instrumentazione
  • java
  • testing
Data inizio appello
05/11/2003
Consultabilità
Parziale
Data di rilascio
05/11/2043
Riassunto
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.
File