http://ecn.channel9.msdn.com/o9/previewImages/100/526909_100x75.jpg 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 Code Contracts Forums Code Contracts Home page 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. en Tue, 21 May 2013 20:25:45 GMT Tue, 21 May 2013 20:25:45 GMT Rev9