1
ответ
Каков наиболее широко используемый проект с открытым исходным кодом, который использует дизайн контракта?
Мне любопытно на предмет того, сколько дизайна контракта используется на практике за пределами сообщества Eiffel. Есть ли какие-либо активные проекты с открытым исходным кодом тот дизайн контракта использования? Или, для переделки вопроса...
вопрос задан: 28 October 2009 02:39
1
ответ
Как я знаю, какой контракт перестал работать с contract.py Python?
Я играю с contract.py, ссылочной реализацией Terrence Way дизайна контракта для Python. Реализация выдает исключение, когда контракт (предварительное условие/постусловие/инвариант)...
вопрос задан: 19 June 2009 13:35
1
ответ
Действительно ли Spec# достаточно стабилен для использования? [закрытый]
Кто-либо здесь регулярно использует Spec#? Я хотел бы знать, стабильно ли это и достаточно мощно, прежде чем я начну использовать его везде. Похоже, что синтаксис влияет на c# 4.0, который будет, надо надеяться...
вопрос задан: 20 January 2009 06:23
0
ответов
Что такое контракты (как предложено для C ++ 17)?
Я читал о контрактах в «Размышлениях о С ++ 17» Б. Страуструпа и помогал в небольшой презентации, рассказывая о них, но я не уверен, что действительно понял их. Так что у меня есть немного ...
вопрос задан: 20 July 2019 22:52
0
ответов
Каков идиоматический способ проверки и документирования предусловий и постусловий функций в R?
Каков идиоматический способ проверки и документирования предусловий и постусловий функции в R? Я бы подумал о встроенных в Eiffel конструкциях require и secure или состояниях in и out блоков D в...
вопрос задан: 27 February 2018 20:28
0
ответов
When to use assert in client & common GWT code
There are several questions on StackOverflow discussing the question of when one should use an assert statement versus throwing some exception. (Examples here, here, here, here, and here. However, I ...
вопрос задан: 23 May 2017 12:08
0
ответов
Почему я все еще получаю кодовые контракты: обеспечить недоказанное предупреждение?
Ниже приведен очень простой пример. Когда я включаю предупреждения статического анализа, я все равно получаю
Предупреждение CodeContracts: гарантирует недоказанность: Contract.Result ()! = String.Empty в строке return string ....
вопрос задан: 21 January 2014 23:11
0
ответов
зачем использовать assert в проекте? (и почему его использовали так много раз)
Я читал пример кода ListAdder, и есть много утверждений сразу после переменной или используемых почти в каждом методе, например: self.formatter = [[[NSNumberFormatter alloc ] init] ...
вопрос задан: 6 April 2012 10:59
0
ответов
Проектирование по контракту, написание удобного для тестирования-кода, создание объектов и внедрение зависимостей, объединяющие лучшие практики
Я пытался выяснить лучшие методы написания кода,-дружественного к тестированию, но более конкретно практики, связанные со строительством объектов. В синей книге мы обнаружили, что нам следует...
вопрос задан: 14 March 2012 10:18
0
ответов
Дизайн по контракту для Objective-C? [закрыто]
В прошлом году я проходил курс по методологии «Дизайн по контракту». Мы программировали на C # с помощью Contract API, созданного Mircosoft Research, и генерировали модульные тесты с помощью PEX. В этом году я ...
вопрос задан: 25 February 2012 03:38
0
ответов
Использование дизайна по контракту в Python
Я собираюсь начать использовать DBC в большом количестве проектов на основе Python на работе, и мне интересно, какой опыт у других был с этим. На данный момент мое исследование показало следующее: http: // www ....
вопрос задан: 19 December 2011 15:23
0
ответов
Contract.Requires usage
Вот моя проблема. Я очень большой поклонник Дизайна по контракту, я использую эту концепцию, особенно при разработке библиотек, которые могут использоваться другими разработчиками. Я только что обнаружил новый способ делать ...
вопрос задан: 30 November 2011 20:42
0
ответов
Должны ли мои классы ограничивать разработчиков от неправильных действий с ними?
Я пытаюсь понять, где заканчиваются хорошие контракты и начинается паранойя. Правда, я просто не представляю, о чем должен заботиться хороший разработчик, а что он должен опустить :) Допустим, у меня есть класс, который ...
вопрос задан: 30 November 2011 05:24
0
ответов
Программирование с помощью контрактов в PHP
Программирование контрактами - это современная тенденция в .NET, но как насчет библиотек / фреймворков для контрактов кода в PHP? Что вы думаете о применимости этой парадигмы к PHP? Поиск в Google по запросу "код ...
вопрос задан: 30 October 2011 03:57
0
ответов
Сравнение дизайна по контракту с системами типов
Недавно я прочитал статью, в которой сравнивал дизайн по контракту с разработкой, управляемой тестированием. Кажется, есть много совпадений, некоторая избыточность и немного синергии между DbC и TDD. Например, ...
вопрос задан: 11 May 2011 16:00
0
ответов
Is there a design by contract framework for php?
Is there a framework or library for php that will help me implement design by contract in my applications? In the best case it would use javadoc like annotations in the comments.
вопрос задан: 6 May 2011 08:10
0
ответов
Чем отличается «дизайн по контракту» в Racket Scheme от Eiffel?
Я знаю, что и Eiffel (прародитель), и Racket реализовали «Дизайн» по контракту ». К сожалению, я не уверен, чем одно будет отличаться от другого. DBC Eiffel опирается на ООП ...
вопрос задан: 15 April 2011 02:05
0
ответов
Является ли постусловие (типом) модульного теста?
Я пытаюсь включить в свой стиль кодирования некоторые методы проектирования по контракту. Постусловия во многом похожи на встроенные модульные тесты, и мне интересно, правильно ли я думаю…
вопрос задан: 20 February 2011 14:54
0
ответов
проверка инвариантов в C ++
Существуют ли какие-либо установленные шаблоны для проверки инвариантов классов в C ++? Идеально, инварианты будут автоматически проверяться в начале и в конце каждой публичной функции-члена. Что касается…
вопрос задан: 19 January 2011 13:58
0
ответов
Разработка контрактной библиотеки (-ов) для Common Lisp?
Исходя из опыта работы с Clojure, я считаю, что его предварительная версия / пост-условия служат основой для проектирования по контракту: ;; sqr.clj (defn sqr [n] {: pre [(not = 0 n) (number? n)]
...
вопрос задан: 24 September 2010 14:22
0
ответов
Аргумент Исключения должны быть проверены модулем?
Я знаю, что этот вопрос очень похож на другие, которые имеют был опубликован ранее, но я хотел бы обсудить эту тему должным образом. Считаете ли вы, что «очевидное» исключение должно быть модульным тестированием? ...
вопрос задан: 23 August 2010 14:57