Spec# 是否足够稳定，可以使用？[关闭]

Question

这里有人经常使用 Spec# 吗？在我开始到处使用它之前，我想知道它是否足够稳定和强大。看起来语法正在影响 c# 4.0，一旦 4.0 发布，这将有望使升级变得更容易。想法？

Answer 1

我想这取决于你所说的“稳定”是什么意思。有两种可能的解释：

1. “不崩溃”
2. “不改变”

我不知道#1，但如果你的意思是#2，那么，好吧， 规格# 已经被放弃并且不再被开发，所以这可能是你所能得到的最稳定的。

所使用的技术和工具 规格# （静态分析工具称为 布吉 和定理证明器/约束求解器 Z3）现在是一个名为的新库的一部分 .NET 的代码契约. 。成为图书馆的结果是代码契约将适用于 任何 .NET语言：C#、VB.NET、F#、Ruby、Python、JavaScript、Lisp、Smalltalk、Boo，应有尽有。缺点是您无法进行语言集成，因此合约没有良好的语法。

.NET 的代码契约将成为 .NET 4.0 / Visual Studio 2010 的一部分，但不幸的是，任何 Microsoft 语言都不会支持 DbC。