コンセンサス アルゴリズムを実装しました (Paxos に基づく)。ランダムなテストケースをいくつか追加しましたが、問題ないようです。しかし、モデル チェックを介してテストを行いたいですか? 適切な記事が見つかりませんでした。Paxos でのモデル チェックの方法を共有してください
ありがとう
1 に答える
1
スピン モデル チェッカーを使用して、システムの抽象的な説明を確認できます。
Java ベースの実装では、 Java Path Finderを使用できます。
Paxos のような分散システムを実装およびテストできるmaceもあり、C コードを含めるためのサポートがいくつかあります。
よろしく、クリスチャン
于 2013-03-27T16:51:22.810 に答える