ETD

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

Tesi etd-11252009-100251


Tipo di tesi
Tesi di laurea specialistica
Autore
RIZZO, GIACOMO
Indirizzo email
GIACOMORIZZO@gmail.com
URN
etd-11252009-100251
Titolo
Metodi di verifica e convalida per software con requisiti di sicurezza
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
relatore Prof. Domenici, Andrea
relatore Bernardeschi, Cinzia
Parole chiave
  • Nessuna parola chiave trovata
Data inizio appello
17/12/2009
Consultabilità
Non consultabile
Data di rilascio
17/12/2049
Riassunto
Lo scopo di questa tesi è dimostrare, a partire dalla descrizione del ciclo di vita di software
in ambito ferroviario secondo la normativa di riferimento, che l’automazione dei test di non
regressione, effettuati nella fase di manutenzione del ciclo di vita del software, ha effetti
positivi sull’analisi di impatto volta a individuare quali test ripetere e sulla velocità
riemissione del software stesso. I test di non regressione servono a verificare la
correttezza delle funzionalità impattate dagli interventi effettuati; tale tipo di test è
importante perché rappresenta il processo di accertamento che assicura che il software
continui a funzionare senza problemi dopo aver apportato i nuovi cambiamenti. Per
dimostrare ciò, è stato realizzato un tool che automatizza l’esecuzione di casi di test,
riducendo quindi il numero di ore-uomo necessarie per l’esecuzione degli stessi. I casi di
test in questione riguardano una specifica libreria software che implementa un sistema di
sicurezza per il segnalamento ferroviario ed è stato dimostrato, per mezzo di un caso
d’uso reale, gli effetti benefici sull’analisi d’impatto della libreria analizzata.
File