SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY

Academic year
2024/2025 Syllabus of previous years
Official course title
SOFTWARE CORRECTNESS, SECURITY, AND RELIABILITY
Course code
CM0476 (AF:513747 AR:286776)
Modality
On campus classes
ECTS credits
6
Degree level
Master's Degree Programme (DM270)
Educational sector code
INF/01
Period
2nd Semester
Course year
1
Where
VENEZIA
Moodle
Go to Moodle page
This is a core course in the Security stream of the Master Programme, as it provides methods and tools for software verification.
The objective of the course is to provide an overview of the main techniques for the analysis and verification of source code. The reliability of the software strongly depends on the correctness of its components. The course highlights the advantages and limitations of static analysis techniques compared to testing techniques, and discusses metrics and standards for quality assurance of software products. At the end of the course students will be able to use and extend a static analyzer for source code verification.
Basic Algebraic Structures, Programming Languages
1. Semantics-based techniques for correctness and security analysis
Trace Semantics and Fixpoints
Dataflow Analysis
Abstract Interpretation
Numerical and String domains for source code verification

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
Every week a task will be assigned which will gradually guide the student in using a static analyzer at a professional level.
The final exam will consist of the discussion of a final project (which can also be done in pairs), in continuity with the individual tasks carried out during the course.
Each task will have a rating (in tenths) based on the number of tests passed.
The final evaluation will take into account 30% of the average evaluation of the tasks and 70% of the correctness and completeness of the project carried out and the related documentation
Lectures, team-working, project revisions.
All teaching material will be made available in the Moodle platform
English
oral

This subject deals with topics related to the macro-area "Human capital, health, education" and contributes to the achievement of one or more goals of U. N. Agenda for Sustainable Development

Definitive programme.
Last update of the programme: 14/11/2024