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

Question

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

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

Answer 1

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

Answer 2

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

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