The course defines principles and practices of verification and reliability of software systems that have dependable characteristics. Verification methods aim at checking that the system meets prescribed software specifications. Reliability aims at observing and predicting the capability of a system to operates according to its specifications over a given period of time.
The goal of the course is to prepare the students to recognize the quality characteristics of a system and to develop and maintain a system accordingly.Course Syllabus
Dependable properties of systems
Software and software systems testing
Techniques for verification of software systems
Advances in test design and implementation
HW and SW reliability and their models- Instructor: Matteo Camilli
- Instructor: Barbara Russo