Вы можете подумать, что этот вопрос похож на этот вопрос, заданный ранее в StackOverflow. Но я стараюсь смотреть на вещи по-другому. В TDD мы пишем тесты, которые включают в себя разные условия, критерии, код проверки. Если класс проходит все...

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

Я бы предпочел, чтобы примеры были в варианте Lisp (бонусные баллы для Clojure или Scheme), поскольку это то, с чем я лучше всего знаком, но любой отзыв о DBC в функциональных языках, конечно, будет ценен для большего сообщества. Вот очевидный...

На днях я увидел демонстрацию Code Contracts и решил попробовать ее в небольшом тестовом проекте. Я могу правильно настроить свой код Code Contracts после добавления в классы инструкции «using System.Diagnostics.Contracts», но контракты, похоже, не...

Хотелось бы получить мнения по поводу идеи частичного выполнения дизайна по контракту. Цель состоит в том, чтобы добавить к языкам, которые не предлагают ему облегченную версию контрактов (только инварианты и условия публикации), без необходимости во...

Я сделал такой метод class PersonCollection { [Contracts.CanReturnNull] //dont know if something like this exists? IPerson GetPerson(Guid personId) { if (this.persons.Contains(personId)) return this.persons[personId];...

Я довольно часто использую пакет assertthat для проверки постусловий в функциях. Когда я читал больше об идее проектирования по контракту, я наткнулся на идею делать проверки вывода по сравнению с входными значениями. Самый простой пример...