代码之家 › 专栏 › 技术社区 › cbp

规格是否足够稳定,可以使用?[闭门]

spec# design-by-contract c#-4.0

6

cbp · 技术社区 · 17 年前

这里有人经常使用Spec吗?在我开始到处使用它之前,我想知道它是否足够稳定和强大。语法似乎正在影响c#4.0,这有望使4.0发布后的升级更容易。思想?

1 回复 | 直到 17 年前

1

11

Jörg W Mittag 17 年前

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

“不崩溃”
“不变”

Spec# 已经被废弃,不再被开发,所以这可能是你想要得到的最稳定的。

使用的技术和工具 (静态分析工具称为 Boogie 以及定理证明器/约束求解器 Z3 )现在是一个名为 Code Contracts for .NET . 作为一个库的结果是代码契约将适用于任何 .NET语言:C#、VB.NET、F#、Ruby、Python、JavaScript、Lisp、Smalltalk、Boo,随便你说。缺点是没有语言集成,因此没有很好的合同语法。

NET的代码契约将是.NET4.0/VisualStudio2010的一部分,但不幸的是,在微软的任何语言中都没有DbC支持。