问并发系统建模工具
EN

Stack Overflow用户

提问于 2010-01-11 22:22:41

回答 2查看 246关注 0票数 2

我目前正在学习并发软件设计的课程，我们的重点是建模。我看到了其中的价值，但我不确定我们使用的工具是可怕的，好的，还是介于两者之间，因为我找不到任何其他的例子。我们目前正在使用LTS Analyzer，其中包含更多信息here。

所以我的问题是，对于任何做过并发系统设计的人来说，你会在实现之前对你的应用程序建模吗?如果是的话，你会使用什么工具来做到这一点？谢谢。

发布于 2010-02-12 18:43:16

虽然我自己还没有使用过，但我听说了一些关于JPF的好消息(计划很快就会使用它)。

票数 1

发布于 2010-02-12 22:44:22

在各个行业中，用于对并发/分布式系统进行建模和验证的一个比较广为人知的工具是SPIN模型检查器：http://spinroot.com/spin/但是请记住，无论您的设计和/或验证了您的模型是多么正确，您的实现仍然需要遵循。这是许多项目以这样或那样的方式失败的地方。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/2042378

复制

相似问题

问并发系统建模工具EN