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)

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

Inquadramento dell'insegnamento nel percorso del corso di studio

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.

Risultati di apprendimento attesi

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.

Prerequisiti

Strutture Algebriche di base, Linguaggi di Programmazione

Contenuti

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

Testi di riferimento

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

Modalità di verifica dell'apprendimento

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.

Modalità di esame

orale

Metodi didattici

Lezioni frontali, lavori di gruppo, revisione degli esercizi proposti
Tutto il materiale didattico sarà messo a disposizione sulla piattaforma Moodle.

Obiettivi Agenda 2030 per lo sviluppo sostenibile

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