ETD system

Electronic theses and dissertations repository

 

Tesi etd-11252009-100251


Thesis type
Tesi di laurea specialistica
Author
RIZZO, GIACOMO
email address
GIACOMORIZZO@gmail.com
URN
etd-11252009-100251
Title
Metodi di verifica e convalida per software con requisiti di sicurezza
Struttura
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Supervisors
relatore Prof. Domenici, Andrea
relatore Bernardeschi, Cinzia
Parole chiave
  • Nessuna parola chiave trovata
Data inizio appello
17/12/2009;
Consultabilità
Parziale
Data di rilascio
17/12/2049
Riassunto analitico
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