Verifica e convalida del software
A.A. 2026/2027
Obiettivi formativi
L'insegnamento ha l'obiettivo di 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: Terzo quadrimestre
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
Edizione unica
Periodo
Terzo quadrimestre
INFO-01/A - Informatica - CFU: 6
Lezioni: 48 ore