Francesco Logozzo: Programmazione per Contratti e runtime checking in .NET con i…

Francesco Logozzo, ricercatore nel gruppo di ingegneria del software di Microsoft Research (RiSE) ci fara’ un demo dell’analizzatore statico incluso nei Code Contracts per .NET. L’analizzatore statico permette di verificare le asserzioni nel codice e provare l’assenza di errori comuni come NullPointerException senza eseguire il programma!
Francesco andra’ alla lavagna, e dara’ una (semplice) introduzione all’Interpretazione astratta, la teoria utilizzata dall’analizzatore statico per inferire le invarianti di ciclo e quindi provare le asserzioni.
I Code Contracts possono essere scaricati con licenza industriale o accedemica
Il gruppo RiSE coordina la ricerca in ingegneria del software a Redmond negli USA.
The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.