Какие инструменты вы используете для проектирования по контракту?

Question

Раньше я использовал Microsoft CodeContracts в течение трех недель, и теперь половина моего кода - просто контракты. У меня есть десятки недоказанных мест, я не могу использовать проверку времени выполнения, потому что перезапись IL предотвращает показ инструмента покрытия, и время компиляции менее приемлемо.

Мне не нравится это. И, кажется, сейчас самое время обратиться за помощью. Какие инструменты вы используете для ваших обычных разработок?

Answer 1

Spec # - Я сам не пробовал, но слышал, это довольно круто. На нем есть хороший подкаст DotNetRocks, который хорошо прослушивает работу диска.

Answer 2

Я использую Visual Studio 2010 с контрактами кода. И я ежедневно работаю с решением, в котором 20 крупных проектов. Да, проверки во время выполнения замедляют время компиляции. Но я принимаю штраф, чтобы добиться более надежного кода. Я заметил, что ваше сообщение было опубликовано в январе 2010 года. Прошло более года, и вы можете обнаружить, что последний выпуск переписывателя Code Contracts несколько быстрее. Но не ждите там чуда.

Кроме того, они улучшили способ представления покрытия кода для кода, в котором используются контракты кода. Так что, если вас это беспокоит больше всего, попробуйте еще раз с последней версией.