SINTESI DEL PROGETTO
- fonte:
Open Data PON REC
Il progetto SVEVIA ha come obiettivo il miglioramento dell'efficienza dei processi di Verifica e Validazione (V&V)del software in sistemi critici, complessi e near-realtime di prossima generazione.Un sistema critico è un sistema il cui fallimento o malfunzionamento può portare a perdite catastrofiche in termini dicosto, danni all'ambiente, o perdita di vite umane. I sistemi critici sono adottati in svariati campi, che vannodall'avionica al traffico ferroviario, dalla gestione dei porti e degli aeroporti alla difesa. In tali contesti, l'affidabilità ela tempestività del sistema rappresentano requisiti cruciali da soddisfare. Tuttavia, le attività necessarie ad assicurare i livelli di qualità richiesti, e prescritti da standard di dominio, richiedonoenormi costi di Verifica e Validazione (V&V) del software, soprattutto in sistemi di grandi dimensioni.La V&V costituisce una delle fasi più costose dell'intero ciclo di sviluppo sia in termini di tempo, che di risorseimpiegate: nei sistemi in oggetto, caratterizzati da complessi e stringenti vincoli non funzionali, più della metà delcosto dell'intero sviluppo deriva dal processo di V&V. La criticità e la complessità dei sistemi considerati pone nuovesfide per gli ingegneri del software, che devono sviluppare soluzioni capaci di assicurare un elevato livello di qualità,tenendo, nello stesso tempo, bassi i costi e i tempi di sviluppo.Il progetto SVEVIA intende affrontare le problematiche relative sia alla pianificazione che alla esecuzione delleattività di V&V. Il progetto affronterà problematiche legate alla:1. stima dei costi e delle risorse necessarie al processi di V&V;2. scarsa prevedibilità dell'esito del processo di V&V, causata da una inadeguata pianificazione delle attività;3. scarso adattamento e/o capacità di integrazione delle attuali strategie V&V aziendale a processi di sviluppoavanzati;4. scarsa misurabilità dei risultati prodotti dal processo di V&V;5. scarsa capacità di automatizzare l'esecuzione dei test pianificati.Il progetto propone la definizione e la realizzazione di un framework di supporto al processo di Verifica e Validazione(V&V), denominato SVEVIA, per sistemi software caratterizzati da una elevata complessità e dall'impiego in scenarialtamente critici, nei quali un malfunzionamento del sistema può provocare danni catastrofici.Il framework SVEVIA sarà il punto di convergenza dei risultati delle attività di ricerca, in cui verranno analizzate edefinite, con riferimento alle problematiche esposte, nuove tecniche di V&V (con i relativi tool), e sviluppatemetodologie innovative per soddisfare requisiti di qualità negli scenari considerati (quali affidabilità, robustezza,tempestività).L'obiettivo principale del framework SVEVIA è guidare il team di V&V lungo tutto il processo, sfruttando, editerativamente arricchendo, la conoscenza pregressa, e ponendo in essere strategie di V&V adatte allo specificoprodotto che si sta sviluppando.Tale supporto va dalla pianificazione delle attività più idonee al software in esame, considerando i vincoli dicosto/tempo, alla applicazione delle singole tecniche di V&V, fino alla gestione dei report ed alla valutazione deirisultati raggiunti attraverso l'utilizzo di metriche di qualità (di prodotto e processo). Infine, un obiettivo rilevante chesarà perseguito è la capacità del framework di armonizzare la definizione delle strategie di V&V con le esigenze ed ivincoli imposti dal processo di sviluppo adottato dall'azienda, ed i vincoli del particolare dominio applicativo impostida standard internazionali; in altri termini, la capacità del framework di adattarsi ed integrarsi nello specifico contestodi applicazione.
