Verifica e convalida del software
A.A. 2022/2023
Obiettivi formativi
Obiettivo dell'insegnamento è approfondire le tecniche di convalida (cioè determinare se un prodotto software corrisponde alle aspettative del cliente) e verifica (cioè determinare se un prodotto software corrisponde alle specifiche raccolte dall'analista): particolare attenzione è posta sulle tecniche di analisi statica, testing e analisi formale.
Risultati apprendimento attesi
Lo studente sarà in grado di usare in maniera evoluta e critica alcuni diffusi framework di testing e analisi, padroneggiandone i fondamenti metodologici e teorici.
Periodo: Primo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Insegnamento erogato ad anni alterni, non erogato nel 22-23
Periodo
Primo semestre
INF/01 - INFORMATICA - CFU: 6
Lezioni: 48 ore