GO TO ENGLISH VERSION
ALTRI ANNI ACCADEMICI
Software Testing and Validation
per il corso di laurea in Informatica
Università dell'Aquila
A. A. 2025/2026
docente: Igor Melatti
igor.melatti@univaq.it
Indice:
Informazioni sugli esami
Programma del corso
Libri di testo
Materiale sulle lezioni
Orario delle lezioni
Software per il corso
Informazioni sugli esami
Regole per gli esami
TBD
Testo del progetto
TBD
Date degli appelli
| Appello |
Data |
Ora |
Aula |
Note |
Scadenza |
| 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 |
|
|
|
|
Programma del corso
Introduzione alla verifica
- il problema della verifica
- testing, model checking ed altre metodologie
Metodologie di Model Checking per Sistemi a Stati Finiti
- modellazione in Murphi, SPIN e NuSMV
- logiche temporali CTL ed LTL
- algoritmi di model checking: teorico, esplicito, simbolico, bounded model checking
Metodologie di Testing
- principali tecniche: testing funzionale e strutturale
- il testing nel processo di sviluppo del software: unit, integration, regression e system testing
- uso di JUnit
Metodologie di Validazione
Libri di testo consigliati:
- Gerald Everett, Raymond McLeod Jr.: Software Testing: Testing Across the Entire Software Development Life Cycle, Wiley
- Una versione del libro è disponibile sul sistema bibliotecario di Ateneo
- 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
Materiale sulle lezioni
| N |
Data |
Materiale |
Argomenti |
Note |
Orario delle lezioni
Software (gratis) per il corso