Welche Werkzeuge verwenden Sie für Design by Contract?

Question

Ich benutzte Microsoft CodeContracts für drei Wochen und jetzt ist die Hälfte meines Codes nur Verträge. Ich habe dutzende von nicht bewiesenen Orten, ich kann keine Runtime-Checks verwenden, weil das IL-Rewrite verhindert, dass das Coverage-Tool etwas anzeigt und die Kompilierzeit weniger als akzeptabel ist.

Ich mag das nicht. Und jetzt scheint es ein guter Zeitpunkt zu sein, um Hilfe zu bitten. Welche Werkzeuge verwenden Sie für Ihre regelmäßigen Entwicklungen?

Answer 1

Spec# - Ich habe es selbst nicht versucht, aber ich höre, es ist ziemlich genial. Es gibt einen guten DotNetRocks-Podcast, der auf der Festplatte gut zu hören ist.

Answer 2

Ich verwende Visual Studio 2010 mit Codeverträgen. Und ich arbeite täglich mit einer Lösung, die 20 große Projekte enthält. Ja, die Laufzeitprüfungen verlangsamen die Kompilierzeit. Aber ich akzeptiere die Strafe, um einen zuverlässigeren Code zu erreichen. Ich merke, dass Ihre Nachricht im Januar 2010 veröffentlicht wurde. Es ist mehr als ein Jahr später, und Sie können feststellen, dass die neueste Version von Code Contracts Rewriter etwas schneller ist. Aber erwarte dort kein Wunder.

Sie haben auch verbessert, wie Code Coverage Berichte über Code, wo Code-Verträge verwendet werden. Wenn das der Punkt ist, der dich am meisten stört, versuche es definitiv mit der neuesten Version.