Francesco Logozzo: Analisi statica con i Code Contracts per .NET

Sign in to queue

Description

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.

Embed

Download

Download this episode

The Discussion

Comments closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to send us feedback you can Contact Us.