VAI ALLA VERSIONE ITALIANA
OTHER ACADEMIC YEARS
Software Testing and Validation
Bachelor Degree in Informatica
University of L'Aquila
A.Y. 2025/2026
lecturer: Igor Melatti
igor.melatti@univaq.it
Index:
Exams
Course programme
Textbooks
Class material
Class timetable
Software
Exams
Exams Rules
TBD
Project
TBD
Exams Dates
| N |
Date |
Hour |
Where |
Notes |
Deadline |
| 1 |
approx 01/2026 |
|
|
|
|
| 2 |
approx 01/2026 |
|
|
|
|
| 3 |
approx 02/2026 |
|
|
|
|
| 4 |
approx 06/2026 |
|
|
|
|
| 2 |
approx 06/2026 |
|
|
|
|
| 3 |
approx 07/2026 |
|
|
|
|
| 4 |
approx 09/2026 |
|
|
|
|
| straord |
11/2026 |
|
|
|
|
Course Programme
Introduction to Verification
- verification problem
- testing, model checking and other methodologies
Model Checking for Finite State Systems
- Murphi, SPIN and NuSMV
- CTL and LTL
- model checking algorithms: theoretical, explicit, symbolic, bounded model checking
Testing
- main techniques: functyional and structural testing
- testing within software development process: unit, integration, regression and system testing
- JUnit
Validation
Textbooks:
- Gerald Everett, Raymond McLeod Jr.: Software Testing: Testing Across the Entire Software Development Life Cycle, Wiley
- A version of this book is available in the library
- Mauro Pezzé, Michal Young: Software Testing and Analysis: Process, Principles, and Techniques, Wiley
- Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editors): Handbook of Model Checking, Springer
- Christel Baier, Joost-Pieter Katoen: Principles of Model Checking, MIT Press
Class Material
| N |
Date |
Material |
Arguments |
Notes |
Class Timetable
Free software for this course