[论文解读] 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 是一个针对基于区块链的去中心化应用（DApp）的新型测试框架，解决了 DApp 测试中的关键挑战：复杂性、预状态配置和难以理解的日志。它引入了一种领域特定语言（DBDL），用于编写和执行测试用例，支持灵活的区块链预状态设置，并将底层 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 日志转换为可读的、带有变量名的报告，提升测试的可理解性。
• 提供双访问方式——图形界面和命令行——以支持多样化的测试工作流和不同技术水平的用户。

提出的方法

• Kaya 采用三模块架构：Kaya 图形界面（KGUI）用于测试用例编写，核心功能模块（CFM）用于测试执行和状态管理，日志分析器（LA）用于报告生成。
• 它引入了 DApp 行为描述语言（DBDL），一种领域特定语言，允许测试工程师使用人类可读的变量名和结构化的事件/状态规范来定义测试用例。
• 该框架通过允许工程师在测试执行前直接为智能合约变量设置特定值，支持动态预状态配置，避免了昂贵的重新部署操作。
• Kaya 通过静态分析和运行时跟踪，自动将 SCVM 生成的地址映射为语义化的变量名，将不透明的日志转换为可理解的报告。
• 该系统通过插入 SCVM 特定模块，与多种区块链平台集成，支持在以太坊 EVM 之外的平台扩展。
• 它同时支持通过 kaya_cmd 工具进行程序化命令行执行的交互式图形界面测试创建，以及高级用户的命令行执行，提升了可用性。

实验结果

研究问题

• RQ1 如何简化非智能合约开发人员的 DApp 测试流程？
• RQ2 哪些机制可以实现灵活高效的区块链预状态配置？
• RQ3 如何将低层级的、基于地址的 SCVM 日志转换为人类可读、可调试的输出？
• RQ4 统一的测试框架能否有效支持 DApp 测试的图形界面和命令行工作流？
• RQ5 领域特定语言 DBDL 在多大程度上能提升 DApp 测试用例的表达能力和执行自动化水平？

主要发现

• Kaya 通过允许测试工程师使用 DBDL 编写和执行测试用例，成功降低了 DApp 测试的复杂性，抽象了与智能合约和前端事件的低层级交互。
• 该框架通过直接赋值变量值实现精确且高效的预状态配置，消除了重复部署合约的需求。
• Kaya 的日志转换机制成功将 SCVM 地址映射为有意义的变量名，使日志对测试工程师而言显著更易理解。
• 图形界面和命令行接口均能有效支持测试用例的创建与执行，其中命令行版本为经验丰富的用户提供了更流畅的自动化体验。
• 在 SnailThrone DApp 上的评估表明，Kaya 使测试工程师能够从输出报告中识别出功能关联（例如，玩家收益与蜗牛数量的关系），证实了其实际效用。
• 通过集成 SCVM 特定模块，该框架可扩展至其他区块链平台，支持在以太坊之外的更广泛应用。