[論文レビュー] Kaya: A Testing Framework for Blockchain-based Decentralized Applications

Zhenhao Wu, Jiashuo Zhang+5 more|arXiv (Cornell University)|Jun 2, 2020

Blockchain Technology Applications and Security参考文献 9被引用数 4

ひとこと要約

Kayaは、ブロックチェーンベースの分散型アプリケーション（DApps）向けの新しいテストフレームワークであり、DAppテストにおける主な課題である複雑さ、事前状態の設定、読みづらいログに対処する。DBDL（DApp動作記述言語）を導入し、テストケースの記述と実行を可能にするとともに、柔軟なブロックチェーン事前状態のセットアップを可能にし、低レベルのSCVMログを人間が読みやすいレポートに変換することで、テストエンジニアの生産性とテストの理解可能性を顕著に向上させる。

ABSTRACT

In recent years, many decentralized applications based on blockchain (DApp) have been developed. However, due to inadequate testing, DApps are easily exposed to serious vulnerabilities. We find three main challenges for DApp testing, i.e., the inherent complexity of DApp, inconvenient pre-state setting, and not-so-readable logs. In this paper, we propose a testing framework named Kaya to bridge these gaps. Kaya has three main functions. Firstly, Kaya proposes DApp behavior description language (DBDL) to make writing test cases easier. Test cases written in DBDL can also be automatically executed by Kaya. Secondly, Kaya supports a flexible and convenient way for test engineers to set the blockchain pre-states easily. Thirdly, Kaya transforms incomprehensible addresses into readable variables for easy comprehension. With these functions, Kaya can help test engineers test DApps more easily. Besides, to fit the various application environments, we provide two ways for test engineers to use Kaya, i.e., UI and command-line. Our experimental case demonstrates the potential of Kaya in helping test engineers to test DApps more easily.

研究の動機と目的

• DAppテストエンジニアに特化した有効なテストツールの欠如に応えるため、既存のツールがスマートコントラクト開発に焦点を当てており、フルスタックのDAppテストをカバーしていないこと。
• DAppテストの本質的な複雑さを軽減するため、フロントエンドのイベントとバックエンドのスマートコントラクト論理を高レベルのテストケースに抽象化すること。
• テスト実行前に柔軟かつ直接的な事前状態セットアップを可能にすることで、ブロックチェーンの事前状態設定の不便さを解消すること。
• 低レベルのアドレスベースのSCVMログを、デバッグや分析がしやすい変数名を用いたレポートに変換することで、テストの理解可能性を向上させること。
• GUIとコマンドラインの両方のアクセス方法を提供し、多様なテストワークフローとユーザーの熟練度に対応すること。

提案手法

• Kayaは、Kaya GUI（KGUI）によるテストケース作成、コア機能モジュール（CFM）によるテスト実行と状態管理、ログアナライザー（LA）によるレポート生成を実現する3モジュールアーキテクチャを採用している。
• 本フレームワークは、人間が読みやすい変数名と構造化されたイベント／状態仕様を用いてテストケースを定義できる、ドメイン固有言語（DBDL）を導入している。
• エンジニアがテスト実行前にスマートコントラクト変数に特定の値を直接割り当てることで、動的かつ柔軟な事前状態の設定が可能であり、コストのかかる再デプロイを回避できる。
• Kayaは静的解析とランタイム追跡を用いてSCVMが生成するアドレスを意味的で明確な変数名に自動マッピングし、曖昧なログを理解しやすいレポートに変換する。
• SCVM固有のモジュールを統合することで、EthereumのEVMにとどまらず、さまざまなブロックチェーンプラットフォームとの統合を可能にし、拡張性を確保している。
• GUIベースのインタラクティブなテスト作成と、kaya_cmdツールを介したプログラム的コマンドライン実行の両方をサポートしており、熟練ユーザーのための自動化を強化している。

実験結果

リサーチクエスチョン

• RQ1 スマートコントラクト開発者でないテストエンジニアが、DAppテストをどのように簡素化できるか？
• RQ2 テストに適した柔軟で効率的なブロックチェーン事前状態設定を実現するメカニズムは何か？
• RQ3 低レベルのアドレスベースのSCVMログを、人間が読みやすくデバッグ可能な出力に変換する方法は何か？
• RQ4 統合されたテストフレームワークは、GUIとコマンドラインの両方のワークフローを効果的にサポートできるか？
• RQ5 DBDLのようなドメイン固有言語は、DAppテストにおけるテストケースの表現力と実行自動化をどの程度向上できるか？

主な発見

• KayaはDBDLを用いたテストケースの記述と実行により、スマートコントラクトやフロントエンドイベントとの低レベルなやりとりを抽象化することで、DAppテストの複雑さを顕著に軽減した。
• 直接的な変数値の割り当てにより、正確で効率的な事前状態の設定が可能となり、繰り返しのコントラクト再デプロイの必要がなくなった。
• Kayaのログ変換メカニズムは、SCVMアドレスを意味のある変数名にマッピングすることに成功し、テストエンジニアにとってログの理解が著しく容易になった。
• GUI版とコマンドライン版の両方が、効果的なテストケースの作成と実行を可能にした。特に、コマンドライン版は熟練ユーザー向けにスムーズな自動化を実現した。
• SnailThrone DAppを対象に実施した評価では、Kayaが出力レポートから機能的な相関関係（例：プレイヤーの報酬とカタツムリ数の関係）を特定可能にしたことが確認され、実用性が裏付けられた。
• SCVM固有のモジュール統合により、Ethereumにとどまらず、他のブロックチェーンプラットフォームへの拡張が可能であり、Ethereumを超えた広範な採用を支援する。