1
голосов
2ответов
2276 просмотров

Пространство имен Microsoft.Contracts

Для чего нужно пространство имен Microsoft.Contracts в asp.net? То есть, в каких случаях я мог написать using Microsoft.Contracts;?

0
голосов
1ответов
133 просмотров

Как настроить статическую проверку контрактов Microsoft в Visual Studio 2010?

Я недавно загрузил Visual Studio 2010b2 и хотел еще раз оценить некоторые из моих вопросов о статической проверке контрактов Microsoft. Мне удалось повторно использовать большую часть кода, используя пространство имен System.Diagnostics.Contracts для кода, но я не уверен, как включить статиче...

5
голосов
1ответов
451 просмотров

Какой проект с открытым исходным кодом является наиболее широко используемым, в котором используется дизайн по контракту?

Мне любопытно, сколько раз подрядное проектирование используется на практике за пределами сообщества Eiffel.Существуют ли какие-либо активные проекты с открытым исходным кодом, в которых используется разработка по контракту? Или, чтобы преобразовать вопрос в вопрос, на который есть один ответ:...

2
голосов
2ответов
910 просмотров

What does it take to prove this Contract.Requires?

I have an application that runs through the rounds in a tournament, and I am getting a contract warning on this simplified code structure: public static void LoadState(IList<Object> stuff) { for(int i = 0; i < stuff.Count; i++) { // Contract.Assert(i ...

4
голосов
3ответов
1898 просмотров

Are preconditions and postconditions needed in addition to invariants in member functions if doing design by contract?

I understand that in the DbC method, preconditions and postconditions are attached to a function. What I'm wondering is if that applies to member functions as well. For instance, assuming I use invariants at the beginning at end of each public function, a member function will look like this: e...

1
голосов
1ответов
84 просмотров

Can Microsoft.Contracts' static checker be used without Team System?

Aside from the requirement on Visual Studio Team System to be able to install Microsoft.Contacts with the static checker, is it possible to run the static checker without team system? Or, does it depend on an API exposed by studio's team system components? Also, is it within the license to cop...

1
голосов
1ответов
382 просмотров

Design by Contract: Can you have an Interface with a Protocol?

I'm pretty new to the concept of Design by Contract, but so far, I'm loving how easy it makes it to find potential bugs. However, I've been working with the Microsoft.Contracts library (which is pretty great,) and I have run into a road block. Take this simplified example of what I'm trying to...

19
голосов
7ответов
9195 просмотров

Library to facilitate the use of the "design by contract" principle

Is there any library that aids in implementing the design by contract principle in a C++ application? In particular, I'm looking for a library that facilities the usage of the principle, something like this.

45
голосов
10ответов
19160 просмотров

Хорошая библиотека для разработки по контракту для Java?

Несколько лет назад я проводил обзор пакетов DbC для Java и не был полностью удовлетворен ни одним из них. К сожалению, я плохо записывал свои выводы и полагаю, что все изменилось. Кто-нибудь захочет сравнить и сопоставить разные пакеты DbC для Java?

1
голосов
2ответов
224 просмотров

Как мне узнать, какой контракт не удалось выполнить с Python contract.py?

Я играю с contract.py , эталонной реализацией разработки Терренсом Уэй контракт на Python. Реализация выдает исключение, когда контракт (предусловие / постусловие / инвариант) нарушается, но она не дает вам быстрого способа определить, какой конкретный контракт не удался, если с методом связано...

11
голосов
2ответов
839 просмотров

Чем дизайн .NET 4.0 по контракту отличается от дизайна Eiffel?

Я имел «удовольствие», когда меня учил Эйфеля в колледже не кто иной, как сам Бертран Мейер, и я только что прочитал, что .NET 4.0 будет включать дизайн по контракту. Может ли кто-нибудь, обладающий некоторым пониманием, уточнить, насколько это будет мощно по сравнению с существующим набором ...

52
голосов
7ответов
9901 просмотров

ReSharper - возможное присвоение NULL при использовании Microsoft.Contracts

Есть ли способ указать ReSharper, что пустая ссылка не появится из-за того, что проверка требует разработки по контракту? Например, следующий код вызовет предупреждение (Possible 'null' assignment to entity marked with 'NotNull' attribute) в ReSharper в строках 7 и 8: private Dictionary<st...

1
голосов
3ответов
656 просмотров

Проверка аргументов или разработка по контракту в java (GWT). Когда начать?

Я играю в GWT. Я ищу базовую проверку аргументов. Я не требую инвариантов или гарантий результата. Что меня интересует, лучшие практики по теме. Например, в C # я использую один из следующих вариантов: if (arg1 != null) throw new ArgumentNulException....; // Official for public API; Ar...

5
голосов
3ответов
799 просмотров

Контрактное проектирование на C для использования в автоматическом доказательстве теорем

Я работаю над парой проектов на языке C и хотел бы использовать автоматическое доказательство теорем для проверки кода. В идеале я просто хотел бы использовать ATP для проверки контрактов функций. Есть ли какие-либо функции в C / gcc или внешнем программном обеспечении / пакетах / и т. Д., Котор...

8
голосов
5ответов
2596 просмотров

Каковы лучшие практики программирования "Дизайн по контракту"

Каковы лучшие практики программирования "Дизайн по контракту" В колледже я изучил парадигму проектирования по контракту. (в объектно-ориентированной среде) Мы узнали три способа решить эту проблему: 1) Полное программирование: охватывает все возможные исключительные случаи в эффект (ср. Ма...

4
голосов
2ответов
361 просмотров

Какие инструменты вы используете для проектирования по контракту?

Раньше я использовал Microsoft CodeContracts три недели, а теперь половина моего кода - это просто контракты. У меня есть десятки недоказанных мест, я не могу использовать runtime-check, потому что перезапись IL не позволяет инструменту покрытия показывать что-то, а время компиляции менее прие...

1
голосов
3ответов
554 просмотров

Дизайн по Контракту библиотеки (интерфейса) мысли?

Я занимаюсь разработкой по контракту для библиотеки Java, это то, что я придумал до сих пор с точки зрения интерфейса. Пользователь может вызвать executeContract, а executeContract вызывает invokeContract после вызова require. sure вызывается после executeContract, чтобы гарантировать правиль...

1
голосов
2ответов
172 просмотров

Можно ли применять «дизайн по контракту» к динамическим языкам так же легко / как и к статически типизированным?

Название в значительной степени отражает суть. Меня интересует, можно ли включить / отключить принудительное исполнение контракта при использовании динамического языка без серьезного риска плохо / не диагностированного сбоя? Если нет, то суть кажется (мне) в том, что любые принудительные м...

0
голосов
1ответов
377 просмотров

Какая в настоящее время лучшая среда проверки для приложений asp.net?

Чтобы убедиться, что это СУХОЙ подход, вся логика проверки, конечно же, должна входить в бизнес-логику (модель). Как сообщения проверки представляются представлениям, чтобы можно было локализовать сообщения об ошибках. Можете ли вы сгенерировать javascript из среды проверки. Совместимость ...

2
голосов
2ответов
510 просмотров

Фреймворк бизнес-сущностей / ценностных объектов с поддержкой DbC

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

9
голосов
3ответов
467 просмотров

Кодовые контракты, вы будете их использовать?

Microsoft только что выпустила Code Contracts , инструмент, который интегрируется с Visual Studio и позволяет вам определять контракты для вашего .Net-кода и получать и время выполнения проверки времени компиляции. Посмотрите видео на канале 9 , в котором показано, как он используется. ...

4
голосов
3ответов
1229 просмотров

DbC (дизайн по контракту) и модульные тесты

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

3
голосов
1ответов
476 просмотров

Что не так с объектами, не допускающими значения NULL?

В последнее время я смотрел на DbC и Spec #, которые, похоже, поддерживают объекты, не допускающие значения NULL. К сожалению, от Spec #, похоже, отказались. В Spec #, похоже, было встроено множество хороших языковых функций, так почему от него отказались? Возникнет ли проблема, если все о...

10
голосов
9ответов
2412 просмотров

Как показать, что метод никогда не вернет значение NULL (разработка по контракту) в C #

У меня есть метод, который никогда не возвращает нулевой объект. Я хочу прояснить ситуацию, чтобы пользователям моего API не приходилось писать такой код: if(Getxyz() != null) { // do stuff } Как я могу показать это намерение?

39
голосов
9ответов
11397 просмотров

Почему разработка по контракту не так популярна по сравнению с разработкой через тестирование?

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

1
голосов
2ответов
127 просмотров

Что вы думаете о библиотеке инструментов управляемого контракта?

Я недавно смотрел это видео http://channel9.msdn.com/pdc2008/TL51/ об инструментах управляемого контракта библиотека, которая, безусловно, выглядит очень интересно. К сожалению, кажется, что они не будут включать это в сам язык, который был бы более элегантным, как в Spec #. Было бы неплохо им...

0
голосов
4ответов
380 просмотров

Как лучше всего написать контракт на использование CSS в веб-разработке?

Наша команда разработчиков занималась разработкой корпоративной веб-страницы более 2 лет назад. Нам любопытно узнать, как лучше всего написать контракт на использование CSS. Например, если у нас есть COMP, то как мы согласовываем контракт, чтобы наши разработчики и дизайнеры соглашались, и нам н...

12
голосов
4ответов
928 просмотров

Как вы делаете дизайн по контракту на Perl?

Я изучаю использование DbC в наших проектах Perl и пытаюсь найти лучший способ проверки контрактов в источнике (например, проверка предварительных / пост-условий, инвариантов и т. д.) Класс :: Контракт был написан Дэмианом Конвеем, а сейчас поддерживается Гарретом Гебелем, но похоже, что ег...

6
голосов
1ответов
489 просмотров

Достаточно ли стабилен Spec # для использования?

Здесь кто-нибудь регулярно использует Spec #? Я хотел бы знать, является ли он достаточно стабильным и мощным, прежде чем я начну его везде использовать. Похоже, что синтаксис влияет на C # 4.0, что, надеюсь, упростит обновление после выпуска 4.0. Мысли?

3
голосов
5ответов
1461 просмотров

Проверка времени компиляции в Design by Contract?

Я читал, что компилятор может применять dbc во время компиляции .. Как он это делает?