Software Verification and Validation

A.Y. 2024/2025
6
Max ECTS
48
Overall hours
SSD
INF/01
Language
Italian
Learning objectives
The aim of the course is to provide a deeper understanding about validation (i.e., checking if the software product matches the client's expetctations) and verification (i.e., checking if the software product matches the specification written by the analyst): in particular, the focus is on static analysis, testing and formal analysis.
Expected learning outcomes
The student will be able to use in a proficient and critical way some widespread testing and analysis frameworks, while understanding their methodolgical and theoretical core aspects.
Single course

This course can be attended as a single course.

Course syllabus and organization

Not active in 2024/25

Lesson period
Second semester
INF/01 - INFORMATICS - University credits: 6
Lessons: 48 hours