13
ответов
Дизайн по контракту с использованием утверждений или исключений? [закрыто]
При программировании по контракту функция или метод сначала проверяют, выполнены ли их предварительные условия, прежде чем приступить к выполнению своих обязанностей, верно? Два самых известных способа сделать это ...
вопрос задан: 23 May 2017 12:34
11
ответов
Как показать, может ли метод возвратить пустой указатель
После регистрации этого вопроса и читая, что один я понял, что очень важно знать, как ли метод, предполагается, возвращает пустой указатель, или если это считают состоянием ошибки и исключения...
вопрос задан: 23 May 2017 12:25
11
ответов
Java, утверждают поврежденный?
При вводе по абсолютному адресу вокруг вопросов я недавно обнаружил утверждать ключевое слово в Java. Сначала, я был взволнован. Что-то полезное я уже не знал! Более эффективный путь ко мне для проверки...
вопрос задан: 17 July 2011 15:53
9
ответов
Как я могу показать, что метод никогда не будет возвращать пустой указатель (Дизайн контракта) в C#
У меня есть метод, который никогда не возвращает несуществующий объект. Я хочу прояснить так, чтобы пользователи моего API не писали код как это: если (Getxyz ()! = пустой указатель) {//действительно наполняют}, Как я могу показать это...
вопрос задан: 14 November 2011 16:23
8
ответов
Предварительные условия должны ВСЕГДА проверяться? [закрытый]
В эти дни я привык проверять каждое предварительное условие на каждую функцию, так как я получил привычку от ОС, программируя курс назад в uni. С другой стороны, в ходе разработки программного обеспечения мы...
вопрос задан: 7 August 2010 07:24
7
ответов
Модульные тесты - преимущество от модульных тестов с изменениями контракта?
Недавно у меня было интересное обсуждение с коллегой о модульных тестах. Мы обсуждали, когда поддержание модульных тестов стало менее продуктивным, когда Ваши контракты изменяются. Возможно, любой может...
вопрос задан: 18 February 2012 23:08
7
ответов
Как я могу поместить ограничения проверки на свои входные параметры метода?
Вот типичный способ выполнить эту цель: общественность освобождает myContractualMethod (заключительная Строка x, заключительный Набор <Строка> y) {если ((x == пустой указатель) || (x.isEmpty ())) {новый бросок...
вопрос задан: 28 November 2009 08:41
6
ответов
Почему дизайн контракта не так популярен по сравнению с разработкой через тестирование?
Можно думать, что этот вопрос похож на этот вопрос, который задают на StackOverflow ранее. Но я пытаюсь посмотреть на вещи по-другому. В TDD мы пишем тесты, которые включают различные условия, критерии...
вопрос задан: 29 July 2017 15:19
6
ответов
Ruby и утиный ввод: дизайн невозможного контракта?
Сигнатура метода в Java: общедоступный Список <Строка> getFilesIn (каталоги <File> Списка) подобный в рубиновом определении get_files_in (каталоги) В случае Java, система типов дает мне...
вопрос задан: 11 June 2010 14:00
6
ответов
Хорошая библиотека Дизайна Контракта для Java? [закрытый]
Несколько лет назад я сделал обзор пакетов DbC для Java, и я не был совершенно удовлетворен ни одним из них. К сожалению, я не сохранял хорошие примечания по своим результатам, и я предполагаю, что вещи изменились. Был бы...
вопрос задан: 2 July 2009 17:38
6
ответов
Дизайн контракта и [закрытая] разработка через тестирование
Я работаю над улучшением процесса разработки нашей группы, и я рассматриваю, как лучше всего реализовать Дизайн Контракта с Разработкой через тестирование. Кажется, что эти два метода имеют много перекрытия...
вопрос задан: 27 December 2008 03:22
5
ответов
Дизайн контрактов и конструкторов
Я реализую свой собственный ArrayList в школьных целях, но к специи вещи немного я пытаюсь использовать Контракты Кода C# 4.0. Все были в порядке, пока я не должен был добавлять Контракты к конструкторам. Если я...
вопрос задан: 5 May 2010 00:01
5
ответов
ReSharper - Возможное Пустое Присвоение при использовании Microsoft. Контракты
Там какой-либо путь состоит в том, чтобы указать к ReSharper, что нулевая ссылка не произойдет из-за Дизайна Контракта, Требует проверки? Например, следующий код повысит предупреждение (Возможный 'пустой указатель'...
вопрос задан: 13 January 2010 12:43
5
ответов
Каковы лучшие практики для Дизайна Программирования по контракту
Каковы лучшие практики для Дизайна Программирования по контракту. В колледже я изучил дизайн контракта paradigma (в среде OO), Мы изучили три способа заняться проблемой: 1)...
вопрос задан: 13 April 2009 19:49
4
ответа
документация API и “пределы значения”: они соответствуют?
Вы часто видите в документации API (как в 'javadoc государственных функций', например) описание "пределов значения", а также классическую документацию?Примечание: Я не говорю о комментариях...
вопрос задан: 23 May 2017 12:25
4
ответа
why interfaces in dynamic/loosely-typed languages?
I work in php, and the concept of interfaces seems to me a little useless here. From reading, I understand that interfaces are part of "design by contract", but without at least guaranteeing a return ...
вопрос задан: 25 August 2010 16:41
4
ответа
Как Вы делаете Дизайн Контракта в Perl?
Я исследую использование DbC в наших проектах Perl, и я пытаюсь найти лучший способ проверить контракты в источнике (например, проверяю пред/сообщение условия, инварианты, и т.д.), класс:: Контракт был...
вопрос задан: 13 January 2009 18:48
3
ответа
Библиотека для упрощения использования “дизайна контракта” [закрытый] принцип
Есть ли какая-либо библиотека, которая помогает в реализации дизайна принципа контракта в приложении C++? В частности, я ищу библиотеку что средства использование принципа, чего-то...
вопрос задан: 5 August 2017 00:16
3
ответа
Java: очевидный способ для автоматического броска UnsupportedOperationException при вызове хэш-кода () и равняется ()?
У нас есть кодовая база OO, где в довольно большом хэш-коде случаев () и равняется (), просто не работают, главным образом по следующей причине: нет никакого способа расширить instantiable класс и добавить значение...
вопрос задан: 5 February 2010 07:26
3
ответа
Контракты кода, Вы будете использовать их?
Microsoft просто выпустила Контракты Кода, инструмент, который интегрируется с Visual Studio и позволяет, Вы для определения контрактов для .NET кодируете и получаете и время компиляции во время выполнения, проверяя. Посмотрите видео на...
вопрос задан: 25 February 2009 03:43
2
ответа
Как Вы могли бы реализовать дизайн контракта в Clojure конкретно или функциональных языках в целом?
Я предпочел бы, чтобы примеры были в варианте Lisp (бонусные очки для Clojure или Scheme), так как это - то, с чем я являюсь самым знакомым, но любая обратная связь относительно DBC на функциональных языках, конечно, была бы...
вопрос задан: 23 May 2017 12:10
2
ответа
Почему JML не реализована как Аннотации в Java?
Вопреки Контрактам Кода в C#, в Контрактах Кода JML просто текст, это используется в форме комментариев в заголовке метода. Разве не было бы лучше выставить их как Аннотации, затем?...
вопрос задан: 21 November 2014 18:40
2
ответа
Как делает.NET 4.0's, разрабатывают согласно контракту, выдерживают сравнение с Eiffel?
У меня было "удовольствие", которому будет преподавать Eiffel в колледже никто другой, чем сам Bertrand Meyer и просто будет читать, та.NET 4.0 будет включать дизайн контракта. Может любой с некоторым пониманием, тщательно продуманным на...
вопрос задан: 22 June 2009 07:20
2
ответа
Дизайн Контракта в C для использования в Автоматизированном Доказательстве теорем
Я работаю над несколькими проектами C, и я хотел бы использовать автоматизированное доказательство теорем для проверки кода. Идеально я был бы точно так же, как для использования ATP для проверки контрактов функций. Есть ли любой...
вопрос задан: 7 May 2009 07:30
2
ответа
'Дизайн контракта' в C#
Я хотел попробовать немного дизайна контракта в моем последнем приложении C# и хотел иметь синтаксис, сродни: общедоступная строка Foo () {набор {Утверждает. IsNotNull (значение); Утверждать. IsTrue (значение....
вопрос задан: 4 November 2008 03:56
1
ответ
Я реализую этот простой контракт неправильно?
Это - мой код: общедоступный класс RegularPolygon {общедоступный международный VertexCount; общественность удваивает SideLength; общедоступный RegularPolygon (интервал vertexCount, дважды sideLength) {Контракт. Требует (...
вопрос задан: 11 August 2010 19:27
1
ответ
Что сделать при использовании Контракта. Утверждайте (верный), и метод должен возвратить что-то?
У меня есть немного кода со следующей логикой://псевдокодируют foreach (элемент в elementList) {если (элемент что), элемент возврата; }} В теории, всегда существует один элемент...
вопрос задан: 3 August 2010 15:47
1
ответ
Контракты кода: Почему некоторые инварианты не рассматривают вне класса?
Рассмотрите этот неизменный тип: общедоступный класс Настройки {общедоступный строковый Путь {добирается; частный набор;} [ContractInvariantMethod] частный пустой ObjectInvariants () {Контракт. Инвариант (...
вопрос задан: 29 July 2010 15:18
1
ответ
Контракты кода по сравнению с объектными инициализаторами (.net 4.0)
По номиналу казалось бы, что объектные инициализаторы представляют проблему для .net 4.0 "контракты кода", где обычно инвариант должен быть установлен к тому времени, когда конструктор Object закончен....
вопрос задан: 2 May 2010 10:41
1
ответ
Контракты кода: Как я заявляю в постусловии, что значение поля/свойства не изменилось?
Я лучше всего просто покажу с примером кода, что я хотел бы выполнить? класс SomeClass {общедоступный международный SomeProperty; общественность освобождает SomeOperation () {Контракт. Удостоверяется ("SomeProperty'...
вопрос задан: 28 January 2010 12:12