Didattica

Verifica e Convalida del software @ UNIMI

Verifica e Convalida del Software

Corso della Laurea Magistrale in Informatica(opens new window)

Pagina istituzionale del corso(opens new window)

Avvisi


# Inizio lezioni 2021

La prima lezione sarà martedì 2 marzo 2021, alle ore 11:30 (come da calendario).

Il link alla stanza Zoom verrà dato sul thread avvisi su Zulip.

Prima della lezione siete pregati di:

  • mandare email ai professori
  • iscrivervi a Zulip con la email della università (con il link che vi fornirà il professore)
  • iscrivervi a GitLab(opens new window) se non lo avete mai fatto
  • compilare il questionario

Materiale corso

Verranno resi disponibili i lucidi, e le registrazioni delle lezioni (via zulip o gitlab(opens new window) ).

Per alleviare i limiti della didattica a distanza, verrà usato il forum Zulip(opens new window) ; per l'iscrizione bisogna usare il proprio indirizzo @studenti.unimi.it

Calendario delle lezioni e degli esami

Lezione # Data Argomento Risorse
01 01 [B,M] 02/03/2021 02/03 Introduzione   slides
02 02 [B] 04/03/2021 04/03 Introduzione a JUnit con correzione assignment 1   slides
03 03 [B] 09/03/2021 09/03 Verifica di eccezioni e test parametrici in JUnit   slides
04 04 [B] 11/03/2021 11/03 Filtri, Tag e Categorie in JUNIT, Gradle e Idea   slides
05 05 [B] 16/03/2021 16/03 Rule e Extension in JUnit   slides
06 06 [B] 18/03/2021 18/03 Correzione assignment 4 e 5, Parameter Resolver   slides
07 07 [B] 23/03/2021 23/03 Result Verification Patterns e Mocking   slides
08 08 [B] 25/03/2021 25/03 Criteri di copertura con Jacoco e Clover   slides
09 09 [M] 30/03/2021 30/03 Introduzione al Property Based Testing   slides
10 10 [B] 08/04/2021 08/04 Introduzione alla Dependency Injection e Guice   slides
11 11 [M] 13/04/2021 13/04 Property Based Testing   slides
12 12 [B] 15/04/2021 15/04 Test di accettazione, FITnesse e Cucumber   slides
13 13 [M] 20/04/2021 20/04 Stateful Property Based Testing   slides
14 14 [B] 22/04/2021 22/04 Cucumber (cont)   slides
15 15 [M] 27/04/2021 27/04 Metamorphic properties & Fuzzing   slides
16 16 [B] 29/04/2021 29/04 Introduzione a analisi statica   slides