Eine schwierige Frage. Zum einen bieten die Code Contracts viele neue Möglichkeiten, uns Entwicklern das Leben zu erleichtern (static & runtime checking, automatische Doku-Generierung). Für mich persönlich handelt es sich hierbei um eine aufregende Technologie, die auch oder besser: besonders mit PEX seine Stärken ausspielen kann.

Auf der anderen Seite gibt es allerdings noch einige Anwendungsfälle, die uns trivial erscheinen, vom Static Checker der CC allerdings noch nicht umgesetzt wurde (räumt z.T. auch Manuel Fähndrich von den CC ein, bei den Problemen, die ich mit dem Static Checker und Object Invariants hatte (nachzulesen im Code Contracts Forum). Hierfür gibt es aber workarounds. Insgesamt würde ich eher noch warten, bis die Code Contracts final sind, um sie auch produktiv einzusetzen.

Mein Fazit: Die Code Contracts unterstützen bei der Verifikation, sowie bei der Doku-Generierung (MSDN – style) und erleichtern u.A. viele tägliche Entwickler-Sorgen, so z.B. verbessern sie die Lesbarkeit des Codes. Persönlich werde ich sie derzeit genauer unter die Lupe nehmen, um gerüstet für den produktiven Einsatz zu sein. Produktiv einsetzen werden wir sie wahrscheinlich nicht, bis sie nicht final Status erreicht haben.

Beste Grüße,
Martin W. Angler

Beruflich wird es für mich schwer die Code Contracts einzusetzen. Zu einem baut unsere Web-Applikation noch auf dem 2.0er Framework und zum Anderen müsste der Deployprozess anders gestaltet werden.

Für meine privaten Projekte werde ich jetzt versuchen die Code Contracts stückchenweise einzuführen. Der Vorteil liegt hierbei klar auf der Hand