講演抄録/キーワード |
講演名 |
2021-03-04 13:00
逐次プログラムのテストによる分散フォールトトレラントアルゴリズムのバグ検出 ○土屋達弘(阪大) SS2020-40 |
抄録 |
(和) |
本研究では分散フォールトトレラントアルゴリズムの検証を,その動作をシミュレーションする逐次プログラムをテストすることによって行う方法を提案する.具体的な分散フォールトトレラントアルゴリズムとして,コンセンサスアルゴリズムを考える.コンセンサスアルゴリズムはプロセスの多重化を実現するためのアルゴリズムであり,ブロックチェーンにおいて中心的な役割を果たしている.提案手法では,まず,通常の逐次プログラムによってコンセンサスアルゴリズムの動作を表現する.
故障はメッセージの消失によって表現し,乱数を用いてその発生をシミュレーションする.次に,逐次プログラムに対する網羅的なテスト手法を用いて,コンセンサスアルゴリズムの性質が違反されないかを調べる.本稿では,プログラム作成をC言語を用いて行い,有界モデル検査ツールCBMCを用いてテストを行った結果について報告する. |
(英) |
|
キーワード |
(和) |
コンセンサスアルゴリズム / 検証 / テスト / ブロックチェーン / / / / |
(英) |
/ / / / / / / |
文献情報 |
信学技報, vol. 120, no. 407, SS2020-40, pp. 73-77, 2021年3月. |
資料番号 |
SS2020-40 |
発行日 |
2021-02-24 (SS) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
査読に ついて |
本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります. |
PDFダウンロード |
SS2020-40 |