GO TO ENGLISH VERSION

ALTRI ANNI ACCADEMICI

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

Vedere la lezione 1.

Testo del progetto

Vedere questo file PDF e questo file TGZ.

Date degli appelli

N.B.: Per gli appelli "da confermare", le date sono indicative e potrebbero subire spostamenti

Appello	Data	Ora	Aula	Note	Verbale	Scadenza
1	18/01/2024	09:00 - 10:00				11/01/2024, ore 23:59:59
2	01/02/2024	09:00 - 10:00				25/01/2024, ore 23:59:59
3	15/02/2024	09:00 - 10:00				08/02/2024, ore 23:59:59
4	13/06/2024	10:30 - 13:00	A1.3
5	27/06/2024	9:00 - 10:30
6	11/07/2024	9:00 - 10:30
7	05/09/2024	9:00 - 10:30
straord	approx 11/2024

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

• acceptance testing

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
• Una versione del libro è disponibile qui
• Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Editors): Handbook of Model Checking, Springer
• Una versione del libro è disponibile qui
• Christel Baier, Joost-Pieter Katoen: Principles of Model Checking, MIT Press
• Una versione del libro è disponibile qui

Materiale sulle lezioni

N	Data	Materiale	Argomenti	Note
1	28/09/2023	slides	Introduzione al testing, alla validazione ed alla verifica di sistemi software	Slides 1-60
	29/09/2023		ANNULLATA
2	05/10/2023	slides modelli Murphi	Il model checker Murphi: linguaggio di input	Lezione 1: slides 61-fine. Lezione 2: Slides 1-fine
3	06/10/2023	slides	Il model checker Murphi: algoritmo di verifica (parte 1)	Slides 1-30
4	12/10/2023	Vedere slides lezione 3	Il model checker Murphi: algoritmo di verifica (parte 2)	Slides 31-79
5	13/10/2023	slides	Il model checker Murphi: algoritmo di verifica (parte 3). Proprietà di safety e liveness. La logica temporale LTL (parte 1)	Lezione 3: Slides 80-fine. Lezione 5: Slides 1-13
6	19/10/2023	Vedere slides lezione 5	LTL (parte 2) e CTL	Slides 14-fine
7	20/10/2023	slides	Algoritmi per il Model Checking di formule CTL ed LTL	Slides 1-fine
8	26/10/2023	slides	SPIN e Promela (parte 1)	Slides 1-40
9	27/10/2023	Vedere slides lezione 8; modelli SPIN	SPIN e Promela (parte 2)	Slides 41-81
10	02/11/2023	slides	Lezione 8: SPIN e Promela (parte 3). Lezione 10: NuSMV (parte 1: gli OBDD)	Lezione 8: slides 82-fine. Lezione 10: Slides 1-24
11	03/11/2023	Vedere slides lezione 10	NuSMV (parte 2: linguaggio di input)	Slides 25-79
12	09/11/2023	modelli e script per NuSMV modelli e script per BMC slides	NuSMV (parte 3: algoritmi). Bounded Model Checking	Lezione 10: Slides 80-fine. Lezione 12: Slides 1-fine
13	10/11/2023	slides	Introduzione al Testing	Slides 1-fine
14	16/11/2023	slides	Testing: Modelli Finiti	Slides 1-fine
15	17/11/2023	slides	Testing: Metodologie (parte 1: Category-Partition Testing)	Slides 1-37
	23/11/2023		ANNULLATA
16	24/11/2023		Presentazione progetto
17	30/11/2023	Vedere slides lezione 15	Testing: Metodologie (parte 2: Catalog-Based Testing e ciclo completo del Black Box Testing)	Slides 38-73
18	01/12/2023	Vedere slides lezione 15	Testing: Metodologie (parte 3: Structural Testing e Data Flow Testing)	Slides 74-104
19	07/12/2023	Vedere slides lezione 15	Testing: Metodologie (parte 4: Model-Based Testing)	Slides 105-149
20	14/12/2023	Vedere slides lezione 15	Testing: Metodologie (parte 5: Testing di Software Orientato agli Oggetti)	Slides 150-200
21	15/12/2023	Vedere slides lezione 15; esempi vari	Testing: Metodologie (parte 6: Scaffolding)	Slides 201-fine
22	21/12/2023	slides	Integration, System, Acceptance e Regression Testing	Slides 1-fine
23	22/12/2023		Revisione progetti studenti
24	11/01/2024		Revisione progetti studenti
25	12/01/2024		Revisione progetti studenti

Orario delle lezioni

Giorno	Dalle	Alle	Aula
Giovedì	10:30	12:30	0.6
Venerdì	09:30	11:30	0.6

L'aula 0.6 si trova oltre la biblioteca al piano terra di Coppito 1 (edificio Renato Ricamo); attenzione: si raggiunge passando al di fuori dell'edificio stesso.

Software (gratis) per il corso

• CMurphi
• SPIN
• NuSMV
• JUnit