| N | Date | Hour | Where | Notes | Deadline |
|---|---|---|---|---|---|
| 1 | 16/01/2025 | 09:00-11:00 | 12/01/2025 ore 23:59:59 | ||
| 2 | 30/01/2025 | 09:00-11:00 | 26/01/2025 ore 23:59:59 | ||
| 3 | 13/02/2025 | 09:00-11:00 | Turing A1.1 | 09/02/2025 ore 23:59:59 | |
| 4 | 06/2025 | ||||
| 5 | 06/2025 | ||||
| 6 | 07/2025 | ||||
| 7 | 09/2025 | ||||
| straord | 11/2025 |
| N | Date | Material | Arguments | Notes |
|---|---|---|---|---|
| 1 | 26/09/2024 | slides | Introduction to testing, validation and verification of software systems | Slides 1-73 |
| 27/09/2024 | CANCELED | |||
| 2 | 03/10/2024 | slides Murphi models |
The Murphi model checker: input language and usage | Lesson 1: slides 73-end. Lesson 2: Slides 1-end |
| 3 | 04/10/2024 | slides | The Murphi model checker: verification algorithm (part 1) | Slides 1-33 |
| 4 | 10/10/2024 | See slides in lesson 3 | The Murphi model checker: verification algorithm (part 2) | Slides 34-75 |
| 5 | 11/10/2024 | slides | The Murphi model checker: verification algorithm (part 3). Safety e liveness properties. LTL (part 1) | Lesson 3: Slides 76-end. Lesson 5: Slides 1-14 |
| 6 | 17/10/2024 | slides | LTL (part 2) and CTL. CTL Model Checking algorithms | Lesson 5: Slides 15-end. Lesson 6: Slide 1-4 |
| 7 | 18/10/2024 | slides | CTL and LTL Model Checking algorithms. SPIN and Promela (part 1) | Lesson 6: Slides 5-end. Lesson 7: Slide 1-8 |
| 8 | 24/10/2024 | See slides in lesson 7 | SPIN and Promela (part 2) | Slides 9-45 |
| 9 | 25/10/2024 | See slides in lesson 8; SPIN models | SPIN and Promela (part 3) | Slides 46-end |
| 10 | 31/10/2024 | slides | NuSMV (part 1: OBDDs) | Slides 1-38 |
| 11 | 07/11/2024 | See slides in lesson 10 | NuSMV (part 2: input language) | Slides 39-78 |
| 12 | 08/11/2024 | slides models and scripts for BMC |
NuSMV (part 3: algorithms). Bounded Model Checking | Lesson 10: Slides 79-end. Lesson 12: Slides 1-end |
| 13 | 14/11/2024 | Presentation of the Course Project | ||
| 14 | 15/11/2024 | slides slides |
Testing: Introduction and Finite Models (part 1) | Slides 1-end and 1-12 |
| 15 | 21/11/2024 | See slides in lesson 14 | Finite models (part 2) | Slides 13-end |
| 16 | 22/11/2024 | slides examples |
Testing: Methodologies (part 1: Category-Partition Testing) | Slides 1-39 |
| 17 | 28/11/2024 | See slides in lession 16 | Testing: Methodologies (part 2: Catalog-Based and Pairwise Combination Testing) | Slides 40-66 |
| 18 | 29/11/2024 | See slides in lesson 16 | Testing: Methodologies (part 3: Structural Testing and Data Flow Testing) | Slides 67-106 |
| 19 | 05/12/2024 | See slides in lesson 16 | Testing: Methodologies (part 4: Model-Based Testing) | Slides 107-150 |
| 20 | 06/12/2024 | See slides in lesson 16 | Testing: Methodologies (part 5: Testing of Object Oriented Software) | Slides 151-194 |
| 21 | 12/12/2024 | See slides in lesson 16 | Testing: Methodologies (part 6: Scaffolding) | Slides 195-220 |
| 22 | 13/12/2024 | slides | Integration, System, Acceptance and Regression Testing | Slides 221-end and 1-end |
| 23 | 19/12/2024 | Review of students' projects | ||
| 24 | 20/12/2024 | Review of students' projects |
| Day | From | To | Where |
|---|---|---|---|
| Thursday | 09:30AM | 11:30AM | A.0.6 |
| Friday | 09:30AM | 11:30AM | A.0.6 |