Spec # достаточно стабилен для использования? [закрыто]
https://stackoverflow.com/questions/437383
-
22-07-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianВопрос
Кто-нибудь здесь регулярно использует Spec #? Я хотел бы знать, достаточно ли он стабилен и силен, прежде чем начать его везде использовать. Похоже, что синтаксис влияет на c # 4.0, что, надеюсь, облегчит обновление после выхода 4.0. Мысли?
Решение
Я думаю, это зависит от того, что вы подразумеваете под "стабильным". Есть две возможные интерпретации:
<Ол>Я не знаю о # 1, но если вы имеете в виду # 2, тогда, ну, Spec # был заброшен и больше не разрабатывается, так что он, вероятно, настолько стабилен, насколько это возможно.
Методы и инструменты, которые использовались в Spec # (инструмент статического анализа, называемый Boogie и средство проверки теорем / ограничителя Z3 ) теперь являются частью новой библиотеки под названием Кодовые контракты для .NET . Результатом существования библиотеки является то, что Code Contracts будет работать для любого языка .NET: C #, VB.NET, F #, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo, как вы его называете. Недостатком является отсутствие языковой интеграции, поэтому нет приятного синтаксиса для контрактов.
Кодовые контракты для .NET будут частью .NET 4.0 / Visual Studio 2010, но, к сожалению, поддержка DbC не будет поддерживаться ни на одном из языков Microsoft.
