講演抄録/キーワード |
講演名 |
2022-03-01 10:20
コンセンサスアルゴリズムに対するラウンドモデルに基づいた簡易的なテスト・検証手法の提案 ○土屋達弘(阪大) DC2021-66 |
抄録 |
(和) |
コンセンサスアルゴリズムは代表的な分散アルゴリズムのクラスであり,分散システム上で信頼性の高いサービスを実現する上で中核となる.このようなサービスには,プロセスレプリケーションやブロックチェーン等が含まれる.本研究では,まず,現在研究を行っているコンセンサスアルゴリズムを簡易的にテスト,検証することで,含まれるバグを効率よく検出する方法を説明する.この方法では,ラウンドモデルというシステムでのイベントの生起する実時間を捨象したモデルを前提に,故障も含めたアルゴリズムの動作を通常の逐次プログラムとして表現する.その結果,プログラムに対する一般のテスト,検証手法を適用して,アルゴリズムのデバッグが可能となる.本稿では既存のアルゴリズムを例に,プログラムの作成とバグの検出,特定について具体的な手順を示す. |
(英) |
|
キーワード |
(和) |
コンセンサスアルゴリズム / 検証 / テスト / ブロックチェーン / / / / |
(英) |
/ / / / / / / |
文献情報 |
信学技報, vol. 121, no. 388, DC2021-66, pp. 13-17, 2022年3月. |
資料番号 |
DC2021-66 |
発行日 |
2022-02-22 (DC) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
DC2021-66 |