2 possibilità per tesi magistrale

PROPOSTA 1
Ambito
Verifica e validazione (V&V) di sistemi software complessi. La presente tesi è parte di un progetto più ampio di ottimizzazione del processo di V&V.

Descrizione ed obiettivi
Nella storia del software esistono un gran numero di metodologie (e.g. testing, metodi formali), tecniche (e.g. unit testing), strategie (e.g. TestCon) e strumenti (e.g. JUnit) che vengono utilizzati per pianificare ed eseguire i task di verifica e validazione. Un problema che affrontano i team manager nella pianificazione delle loro attività di V&V è la selezione delle attività più adeguate per conseguire gli obiettivi di progetto (qualità prevista, rispetto delle deadline, rispetto dei vincoli di budget etc).
Il primo obiettivo della tesi è l’organizzazione di una vasta gamma di attività di V&V in una struttura a grafo. Tale organizzazione prevede, per il tesista, un’analisi preliminare dello stato dell’arte e della pratica al fine di collezionare evidenze sui più accreditati ed utilizzati strumenti, tecniche, metodologie e strategie per la V&V. Sulla base di tali evidenze, si realizzerà la struttura a grafo.
Il secondo obiettivo della tesi è la realizzazione di un modello di scheda tecnica per i nodi della struttura a grafo. Tale scheda dovrà contenere varie informazioni, ad esempio: nome, costo di esecuzione, tempo di esecuzione, skill richieste etc e il tesista la compilerà per i nodi del grafo. Le informazioni contenute nella scheda dovranno essere strutturate in modo da poter essere elaborate in maniera automatica.

Durata e periodo della tesi
6-9 mesi a partire da Aprile/Maggio 2011.

Modalità di interazione con i relatori
Incontri periodici e su richiesta, e-mail e, se necessario, via Skype.

Contatti

Prof. Cantone
Ing. Manuel Mastrofini, Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.



PROPOSTA 2
Ambito
Verifica e validazione (V&V) di sistemi software complessi. La presente tesi è parte di un progetto più ampio di ottimizzazione del processo di V&V.

Descrizione ed obiettivi
Lo stato dell’arte e della pratica delle tecnologie per il testing di sistemi software propone numerosi processi, strategie, tecniche e strumenti per la generazione ed esecuzione di casi di test, il sequenziamento ottimale delle attività di testing, l’individuazione e rimozione di particolari categorie di difetti software, la minimizzazione dei costi per il conseguimento di un obiettivo di qualità etc.
Tuttavia la quantità di informazioni disponibili per effettuare una decisione ottima è particolarmente vasta e difficilmente trattabile manualmente da parte dei team manager. Tra i compiti del team manager rientra anche la pianificazione del processo di V&V e, dunque, in particolare, del processo di testing.
L’obiettivo della tesi è la realizzazione di un modello a grafo per la riorganizzazione della conoscenza su metodologie e strumenti di testing correntemente utilizzati.
Tale conoscenza dovrà essere espressa in maniera formale (e.g. clausole logiche) o semiformale (e.g. linguaggio naturale strutturato) in modo tale che sia processabile in maniera automatica o semi-automatica (ad esempio con interazione tra utente e motore di processamento).
Il processamento delle informazioni consiste dell’esecuzione di alcune funzioni di ottimizzazione che, sulla base di criteri definiti a priori e raffinati tramite l’interazione con l’utente, consentiranno al team manager di prendere una decisione ottimale. Il processamento dovrà avvenire tramite un tool, già in fase di sviluppo presso il DISP.
Né la definizione delle funzioni di ottimizzazione, né la realizzazione del tool fanno parte della presente tesi.

Durata e periodo della tesi
6-9 mesi a partire da Maggio 2011.

Modalità di interazione con i relatori
Incontri periodici e su richiesta, e-mail e, se necessario, via Skype.

Contatti

Prof. Cantone
Ing. Manuel Mastrofini, Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.