I Code Contracts (System.Diagnostic.Contracts) sono una interessante novità nel .NET Framework 4.0, che in congiunzione con VS2010 consentono di migliorare il debugging e il testing di una applicazione.

Riporto due video di Channel9, dove il nostro connazionale Francesco Lagozzo, ricercatore Microsoft presso il RiSE ne spiega bene il funzionamento:


Ulteriori risorse:


Da quest'ultimo link è possibile scaricare il plug-in per VS2010.