Tecniche di analisi statica di sistemi

Giorgio Levi    Tel. 0502212700

Il corso si propone l'obiettivo di mostrare come le applicazione di tecniche di analisi statica possa contribuire a migliorare le caratteristiche di qualita' dei sistemi software. L'obiettivo e' quello di fornire gli elementi fondamentali necessari per comprendere le potenzialità e i limiti delle varie tecniche. Verranno esaminate diverse tecniche statiche per valutare la qualita' del software in termini di sicurezza, uso delle risorse, affidabilita' e performace. Verranno inoltre presentati strumenti per l'analisi statica di sistemi. Durante la fase di sperimentazione si approfondiranno anche gli aspetti metodologici legati all'uso effettivo di tecniche di analisis statica.