模型检查Paxos
模型检查Paxos
提问于 2012-06-09 01:35:54
我已经实现了共识算法(基于Paxos)。我添加了一些随机的测试用例，看起来还不错。但是想要通过模型检查进行测试吗？找不到适合它的文章。请分享如何在Paxos中进行模型检查
谢谢
回答 1
Stack Overflow用户
发布于 2013-03-28 00:51:23
您可以使用Spin Model checker来检查系统的抽象描述。
对于基于Java的实现，您可以使用Java Path Finder。
还有mace，您可以在其中实现和测试像Paxos这样的分布式系统，并且它提供了一些支持来包含C代码。
向您致敬，克里斯蒂安
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/10953498
复制相关文章
相似问题
腾讯云开发者
