问题标签 [nmodel]

我有一个模型程序，表示沿服务器链的消息流：

还有很多消息。每个服务器和消息类型的 Enabled() 逻辑略有不同，但状态相似，所以我想通过编写类似的东西来封装它：

然后在我的操作中使用封装状态：

但是 NModel 不会让我以这种方式使用对象来保持我的状态。有没有其他方法可以避免定义重复的布尔值组，一个用于链中的每个服务器？

我有一个 C# 商业应用程序，带有单元测试。我可以通过使用 NModel 或 Spec Explorer 来提高可靠性并减少测试时间和费用吗？或者，如果我用 F#（甚至 Haskell）重写它，我会看到什么样的（如果有的话）可靠性增加？

代码合同？阿斯麦?

我意识到这是主观的，可能是有争议的，所以如果可能的话，请用数据来支持你的答案。:) 或者也许是一个可行的例子，例如 Eric Evans Cargo Shipping System？

如果我们考虑

单元测试是具体的强定理，对特定的“有趣的实例”进行准静态检查，类型是一般但弱的定理（通常静态检查），合同是一般和强定理，动态检查发生在常规程序运行。（来自 B. Pierce 的认为有害的类型），

这些其他工具在哪里适合？

我们可以使用 Java PathFinder、Scala 等为 Java 提出类似的问题。