Auf Microsoft DevLabs ist ein weiterer Baustein zum Thema Code Qualität erschienen: Code Contracts. Ein Projekt das von Microsoft Research entwickelt wurde, findet so langsam seinen Weg in den Produktionsalltag.

Was kann man mit Code Contracts machen? Man definiert notwendige Bedingungen für die Anwendung einer beliebigen API Schnittstelle im Code, z.B.

   1: public int Function( int parameter )

   2: {

   3:     Contract.Requires( parameter > 0 );

   4:     // ...

   5: }

Neben der Möglichkeit zur Laufzeit Prüfungen einzubauen, kann man auch statische Prüfungen durchführen und somit auch zur Compile-Zeit wichtige Hinweise auf mögliche Probleme erhalten. Code Contracts bietet für PEX eine sehr gute Hilfe Tests noch effizienter zu erstellen.

Auf der Webseite gibt es unten rechts noch ein nettes Einführungsvideo.

Link: Microsoft DevLabs Code Contracts