SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY

Anno accademico
2023/2024 Programmi anni precedenti
Titolo corso in inglese
SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY
Codice insegnamento
CM0476 (AF:451577 AR:245305)
Modalità
In presenza
Crediti formativi universitari
6
Livello laurea
Laurea magistrale (DM270)
Settore scientifico disciplinare
INF/01
Periodo
II Semestre
Anno corso
1
Sede
VENEZIA
Spazio Moodle
Link allo spazio del corso
Questo insegnamento appartiene al percorso Security del corso di laurea magistrale in Computer Science, ed offre conteuti e metodologie relative ai metodi formali per la verifica del software.
L'obiettivo dell'isegnamento è formire una panoramica delle principali tecniche (formali e semi-formali) per l'analisi e la verifica del software. L'affidabilità del software dipende fortemente dalla correttezza delle sue componenti. Il corso sottioline ai vantaggi ed i limiti delle tecniche di analisi statica rispetto alle tecniche di testing, e discute le metriche e gli standards per l'assicurazione di qualità dei prodotti software.
Strutture Algebriche di base, Linguaggi di Programmazione
1. Semantics-based techniques for correctness and security analysis
Trace Semantics and Fixpoints
Abstract Interpretation
Dataflow Analysis
Model Checking

2. Software Quality Assurance
Software quality metrics
Software quality standards
Software quality management
Software Safety and Reliability
Xavier Rival and Kwangkeun Yi, "Introduction to Static Analysis An Abstract Interpretation Perspective", MIT Press, 2020, ISBN: 9780262043410
G.Schulmeyer, “Handbook of Software Quality Assurance”, 2007, ISBN-13: 978-1596931862
P.Cousot, "Principles of Abstract Interpretation, MIT Press, 2021
Ogni settimana verranno assegnati alcuni esercizi, che saranno poi discussi in classe.
Alla fine del corso verrò proposto un progetto che prevede l'utilizzo di un analizzatore statico a livello professionale.
L'esame finale consisterà nella discussione degli elaborati e del progetto sviluppato.
La valutazione terrà conto della correttezza e della completezza di quanto presentato.
Lezioni frontali, lavori di gruppo, revisione degli esercizi proposti
Tutto il materiale didattico sarà messo a disposizione sulla piattaforma Moodle.
Inglese
orale

Questo insegnamento tratta argomenti connessi alla macroarea "Economia circolare, innovazione, lavoro" e concorre alla realizzazione dei relativi obiettivi ONU dell'Agenda 2030 per lo Sviluppo Sostenibile

Programma definitivo.
Data ultima modifica programma: 19/07/2023