Verifica e convalida del software
A.A. 2025/2026
Learning objectives
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.
Expected learning outcomes
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: Secondo 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.
Course syllabus and organization
Edizione unica
Programma
Il programma è condiviso con i seguenti insegnamenti:
- [FBA-44](https://www.unimi.it/it/ugov/of/af20260000fba-44)
- [FBA-44](https://www.unimi.it/it/ugov/of/af20260000fba-44)
Professor(s)
Ricevimento:
su appuntamento
ufficio 5006 Via Celoria 18 - Milano