| N |
Date |
Material |
Arguments |
Notes |
| 1 |
25/09/2024 |
slides |
Introduction to testing, validation and verification of software systems |
Slides 1-65 |
|
26/09/2025 |
|
CANCELED |
|
| 2 |
02/10/2025 |
slides
Murphi models |
The Murphi model checker: input language and usage |
Lesson 1: slides 73-end. Lesson 2: Slides 1-end |
| 3 |
03/10/2025 |
slides |
The Murphi model checker: verification algorithm (part 1) |
Slides 1-36 |
|
09/10/2025 |
|
CANCELED |
|
| 4 |
10/10/2025 |
See slides in lesson 3 |
The Murphi model checker: verification algorithm (part 2) |
Slides 37-end |
| 5 |
16/10/2025 |
slides |
Safety e liveness properties. LTL |
1-35 |
| 6 |
17/10/2025 |
slides |
CTL semantics and CTL Model Checking algorithms |
Lesson 5: Slides 36-end. Lesson 6: Slide 1-24 |
| 7 |
23/10/2025 |
slides |
LTL Model Checking algorithm. SPIN and Promela (part 1) |
Lesson 6: Slides 25-end. Lesson 7: Slide 1-41 |
|
24/10/2025 |
|
CANCELED |
|
| 8 |
30/10/2025 |
See slides in lesson 7 |
SPIN and Promela (part 2). Project specifications presentation |
Slides 42-54 |
| 9 |
25/10/2024 |
slides |
SPIN and Promela (part 3). NuSMV (part 1: OBDDs) |
Lesson 7: Slides 55-end. Lesson 9: Slide 1-20 |
|
06/11/2025 |
|
CANCELED |
|
| 10 |
07/11/2025 |
See slides in lesson 9 |
NuSMV (part 2: input language) |
Slides 21-79 |
| 11 |
13/11/2025 |
slides |
NuSMV (part 3: algorithms). Bounded Model Checking |
Lesson 9: Slides 80-end. Lesson 11: Slides 1-end |
| 12 |
14/11/2025 |
slides |
Testing: Introduction |
Slides 1-end |
| 13 |
20/11/2025 |
slides |
Finite models for testing (part 1) |
Slides 1-39 |
14 |
21/11/2025 |
slides
examples |
Finite models for testing (part 2). Testing: Methodologies (part 1: Random testing) |
Lesson 13: Slides 40-fine. Lesson 14: Slides 1-25 |
| 15 |
27/11/2025 |
See slides in lession 14 |
Testing: Methodologies (part 2: Category-Partition, Catalog-Based and Pairwise Combination Testing) |
Slides 26-70 |
| 16 |
28/11/2025 |
See slides in lesson 14 |
Testing: Methodologies (part 3: Structural Testing) |
Slides 71-99 |
| 17 |
04/12/2024 |
See slides in lesson 14 |
Testing: Methodologies (part 4: Model-Based Testing) |
Slides 100-176 |
| 18 |
05/12/2025 |
See slides in lesson 14 |
Testing: Methodologies (part 5: Testing of Object Oriented Software) |
Slides 177-215 |
| 19 |
11/12/2025 |
slides |
Testing: Methodologies (part 6: Scaffolding). System, Acceptance e Regression Testing |
Slides 216-end. Slide 1-end |
| 20 |
12/12/2025 |
Esempio di testing |
Full testing example presentation |
The TGZ file will be updated in the following days and weeks. 2026/01/27 update: testing of hte first prototype has been completed; directory structure re-organized |
| 21 |
18/12/2025 |
|
Review of students' projects |
|
| 22 |
19/12/2025 |
|
Review of students' projects |
|
| 23 |
08/01/2026 |
|
Review of students' projects |
|
| 24 |
09/01/2026 |
|
Review of students' projects |
|