| N |
Data |
Materiale |
Argomenti |
Note |
| 1 |
25/09/2025 |
slides |
Introduzione al testing, alla validazione ed alla verifica di sistemi software |
Slides 1-65 |
|
26/09/2025 |
|
ANNULLATA |
|
| 2 |
02/10/2025 |
slides
modelli Murphi |
Il model checker Murphi: linguaggio di input e uso |
Lezione 1: slides 73-fine. Lezione 2: Slides 1-fine |
| 3 |
03/10/2025 |
slides |
Il model checker Murphi: algoritmo di verifica (parte 1) |
Slides 1-36 |
|
09/10/2025 |
|
ANNULLATA |
|
| 4 |
10/10/2025 |
Vedere slides lezione 3 |
Il model checker Murphi: algoritmo di verifica (parte 2) |
Slides 37-fine |
| 5 |
16/10/2025 |
slides |
Proprietà di safety e liveness. La logica temporale LTL |
Slides 1-35 |
| 6 |
17/10/2025 |
slides |
La logica temporale CTL. Algoritmi per il CTL Model Checking |
Lezione 5: Slides 36-fine. Lezione 6: Slides 1-24 |
| 7 |
23/10/2025 |
slides |
Algoritmi per il Model Checking di formule LTL. SPIN e Promela (parte 1) |
Lezione 6: Slides 25-fine. Lezione 7: Slides 1-41 |
|
24/10/2025 |
|
ANNULLATA |
|
| 8 |
30/10/2025 |
Vedere slides lezione 7 |
SPIN e Promela (parte 2). Presentazione progetto esame |
Slides 42-54 |
| 9 |
31/10/2025 |
slides |
SPIN e Promela (parte 3). NuSMV (parte 1: gli OBDD) |
Lezione 7: Slides 55-fine. Lezione 9: Slides 1-20 |
|
06/11/2025 |
|
ANNULLATA |
|
| 10 |
07/11/2025 |
Vedere slides lezione 9 |
NuSMV (parte 2: linguaggio di input) |
Slides 21-79 |
| 11 |
13/11/2025 |
slides |
NuSMV (parte 3: algoritmi). Bounded Model Checking |
Lezione 9: Slides 80-fine. Lezione 11: Slides 1-fine |
12 |
14/11/2025 |
slides |
Introduzione al Testing |
Slides 1-fine |
| 13 |
20/11/2025 |
slides |
Modelli finiti per il testing (parte 1) |
Slides 1-39 |
| 14 |
21/11/2025 |
slides
examples |
Modelli finiti per il testing (parte 2). Testing: Metodologie (parte 1: Random Testing) |
Lezione 13: Slides 40-fine. Lezione 14: Slides 1-25 |
| 15 |
27/11/2025 |
Vedere slides lezione 14 |
Testing: Metodologie (parte 2: Category-Partition, Catalog-Based e Pairwise Combination Testing) |
Slides 26-70 |
| 16 |
28/11/2025 |
Vedere slides lezione 14 |
Testing: Metodologie (parte 3: Structural Testing) |
Slides 71-99 |
| 17 |
04/12/2025 |
Vedere slides lezione 14 |
Testing: Metodologie (parte 4: Model-Based Testing) |
Slides 100-176 |
| 18 |
05/12/2025 |
Vedere slides lezione 14 |
Testing: Metodologie (parte 5: Testing di Software Orientato agli Oggetti) |
Slides 177-215 |
| 19 |
11/12/2025 |
slides |
Testing: Metodologie (parte 6: Scaffolding). System, Acceptance e Regression Testing |
Slides 216-fine. Slide 1-fine |
| 20 |
12/12/2025 |
Esempio di testing |
Presentazione esempio completo |
Il file TGZ verrà aggiornato man mano nei prossimi giorni e settimane. Aggiornamento del 27/01/2026: completato il testing del primo prototipo, riorganizzata la struttura a directory |
| 21 |
18/12/2025 |
|
Revisione progetti studenti |
|
| 22 |
19/12/2025 |
|
Revisione progetti studenti |
|
| 23 |
08/01/2026 |
|
Revisione progetti studenti |
|
| 24 |
09/01/2026 |
|
Revisione progetti studenti |
|