SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY

Anno accademico
2022/2023 Programmi anni precedenti
Titolo corso in inglese
SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY
Codice insegnamento
CM0476 (AF:398311 AR:214940)
Lingua di insegnamento
Inglese
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
orale
Lezioni frontali, lavori di gruppo, revisione degli esercizi proposti
Tutto il materiale didattico sarà messo a disposizione sulla piattaforma Moodle.
Programma definitivo.
Data ultima modifica programma: 17/05/2022