DbC (проектирование по контракту) и юнит-тесты

Question

Я использую контракты с C # 4.0 и до того, как я использовал много модульных тестов (не с TDD). Мне интересно, устраняет ли DbC необходимость написания внешних модульных тестов?

Лично я нахожу контракты лучше для создания надежных структур, так как контракты тесно связаны с самим кодом и предлагают другие преимущества.

Что вы, ребята, думаете?

Answer 1

Смотри также:

Проектирование по контракту против разработки на основе тестирования?

Проектирование по контракту и разработка на основе испытаний

Answer 2

Я думаю, что DbC может помочь вам проверить часть того, что юнит-тесты могут вообще делать.

Использование DbC будет эффективно для таких вещей, как проверка методов ввода / вывода, и может сэкономить ваше время.
Но для более сложных проверок (например, проверка зависимостей) будет проще с внешними модульными тестами .

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

Answer 3

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

Я говорю это потому, что проверки PoC часто выражаются как утверждения, которые могут быть отключены по желанию в производстве. (Даже Eiffel, язык Бертрана Мейерса, который имеет встроенную поддержку PoC, рекомендует отключить их в работе.)

Я бы предпочел иметь полный набор модульных тестов, которые проверяют «счастливый путь», исключительные и граничные условия. Они полезны при рефакторинге, а не PoC.