Kaya: A Testing Framework for Blockchain-based Decentralized Applications

06/02/2020
by   Zhenhao Wu, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/19/2019

Automatic Generation of System Test Cases from Use Case Specifications: an NLP-based Approach

Software testing plays a crucial role to ensure the conformance of softw...
research
02/27/2023

Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach

Cyber-Physical Systems (CPS) are most of the time safety-critical and ex...
research
07/22/2022

Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions

Search-based software testing (SBST) typically relies on fitness functio...
research
05/31/2021

CrossASR++: A Modular Differential Testing Framework for Automatic Speech Recognition

Developers need to perform adequate testing to ensure the quality of Aut...
research
06/28/2023

FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs

The current hardware landscape and application scale is driving performa...
research
04/26/2021

GoHammer Blockchain Performance Test Tool

Decentralized services are increasingly being developed and their Decent...
research
05/19/2022

Mining Observation and Cognitive Behavior Process Patterns of Bridge Inspector

In bridge inspection, engineers should diagnose the observed bridge defe...

Please sign up or login with your details

Forgot password? Click here to reset