design-by-contract

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

Вот типичный способ достижения этой цели: public void myContractualMethod(final String x, final Set<String> y) { if ((x == null) || (x.isEmpty())) { throw new IllegalArgumentException("x cannot be null or empty"); } if (y == null) { throw new IllegalArgumentException("y can...

Я сделал такой метод class PersonCollection { [Contracts.CanReturnNull] //dont know if something like this exists? IPerson GetPerson(Guid personId) { if (this.persons.Contains(personId)) return this.persons[personId]; else return null; } } Теперь вызывающий к...

Часто ли вы видите в документации API (например, в "javadoc публичных функций") описание "пределов значений", а также классическую документацию ? Примечание: я не говорю о комментариях в коде Под "пределами значений" я подразумеваю: Может ли параметр поддерживать нулевое значение (или пустую строку, ил...

при программировании по контракту функция или метод сначала проверяет, выполнены ли ее предварительные условия, прежде чем начать работать над своими обязанностями, не так ли? Два наиболее известных способа сделать эти проверки на assert и exception. утверждать не только в режиме отладки. Чтобы убедиться, ...

Каковы некоторые рекомендации, когда это не необходимо проверить значение null? большая часть унаследованного кода, над которым я работал в последнее время, имеет нулевые проверки ad nauseam. Null проверяет тривиальные функции, null проверяет вызовы API, которые возвращают ненулевые значения, и т. д. В некот...