| N | Date | Hour | Where | Notes | Register | Deadline |
|---|---|---|---|---|---|---|
| 1 | 18/01/2024 | 09:00 - 10:00 | 11/01/2024, h 23:59:59 | |||
| 2 | 01/02/2024 | 09:00 - 10:00 | 25/01/2024, h 23:59:59 | |||
| 3 | 15/02/2024 | 09:00 - 10:00 | 08/02/2024, h 23:59:59 | |||
| 4 | 13/06/2024 | 10:30 - 13:00 | A1.3 | |||
| 5 | 27/06/2024 | 9:00AM - 10:30AM | ||||
| 6 | 11/07/2024 | 9:00AM - 10:30AM | ||||
| 7 | 05/09/2024 | 9:00AM - 10:30AM | ||||
| straord | approx 11/2024 |
| N | Date | Material | Arguments | Notes |
|---|---|---|---|---|
| 1 | 28/09/2023 | slides | Introduction to testing, validation and verification of software systems | Slides 1-60 |
| 29/09/2023 | CANCELED | |||
| 2 | 03/03/2023 | slides Murphi models |
The Murphi model checker: input language | Lesson 1: slides 61-end. Lesson 2: Slides 1-end |
| 3 | 06/10/2023 | slides | The Murphi model checker: verification algorithm (part 1) | Slides 1-30 |
| 4 | 12/10/2023 | See slides in lesson 3 | The Murphi model checker: verification algorithm (part 2) | Slides 31-79 |
| 5 | 13/10/2023 | slides | The Murphi model checker: verification algorithm (part 3). Safety e liveness properties. LTL | Lesson 3: Slides 80-end. Lesson 5: Slides 1-13 |
| 6 | 19/10/2023 | See slides in lesson 5 | LTL (part 2) and CTL | Slides 14-end |
| 7 | 20/10/2023 | slides | CTL and LTL Model Checking algorithms | Slides 1-end |
| 8 | 26/10/2023 | slides | SPIN and Promela (part 1) | Slides 1-40 |
| 9 | 27/10/2023 | See slides in lesson 8; SPIN models | SPIN and Promela (part 2) | Slides 41-81 |
| 10 | 02/11/2023 | slides | SPIN and Promela (part 3). NuSMV (part 1: OBDDs) | Lesson 8: slides 82-end. Lesson 10: Slides 1-25 |
| 11 | 03/11/2023 | See slides in lesson 10 | NuSMV (part 2: input language) | Slides 25-79 |
| 12 | 09/11/2023 | models and scripts for NuSMV models and scripts for BMC slides models and scripts for BMC |
NuSMV (part 3: algorithms). Bounded Model Checking | Lesson 10: Slides 80-end. Lesson 12: Slides 1-end |
| 13 | 10/11/2023 | slides | Testing (introduction) | Slides 1-end |
| 14 | 16/11/2023 | slides | Testing: Finite Models | Slides 1-end |
| 15 | 17/11/2023 | slides | Testing: Methodologies (part 1: Category-Partition Testing) | Slides 1-37 |
| 23/11/2023 | CANCELED | |||
| 16 | 24/11/2023 | Project presentation | ||
| 17 | 30/11/2023 | See slides in lesson 15 | Testing: Methodologies (part 2: Catalog-Based Testing and Full cycle of Black Box Testing) | Slides 38-73 |
| 18 | 01/12/2023 | See slides in lesson 15 | Testing: Methodologies (part 3: Structural Testing and Data Flow Testing) | Slides 74-104 |
| 19 | 07/12/2023 | See slides in lesson 15 | Testing: Methodologies (part 4: Model-Based Testing) | Slides 105-149 |
| 20 | 14/12/2023 | See slides in lesson 15 | Testing: Methodologies (part 5: Testing of Object Oriented Software) | Slides 150-200 |
| 21 | 15/12/2023 | See slides in lesson 15; examples | Testing: Methodologies (part 6: Scaffolding) | Slides 201-end |
| 22 | 21/12/2023 | slides | Integration, System, Acceptance and Regression Testing | Slides 1-end |
| 23 | 22/12/2023 | Review of students' projects | ||
| 24 | 11/01/2024 | Review of students' projects | ||
| 24 | 12/01/2024 | Review of students' projects |
| Day | From | To | Where |
|---|---|---|---|
| Thursday | 10:30AM | 12:30AM | 0.6 |
| Friday | 09:30AM | 11:30AM | 0.6 |