Towards Automated Testing of Blockchain-Based Decentralized Applications

Gao, Jianbo; Liu, Han; Li, Yue; Liu, Chao; Yang, Zhiqiang; Liu, Qingshan; Guan, Zhi; Chen, Zhong

doi:10.1109/icpc.2019.00048

Cited by 33 publications

(18 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Sungari [11] is proposed as a guided and automated framework, which is used for testing blockchain-based decentralized applications (Dapps). Testing is accomplished through the analysis of the dynamic information that is produced during the transaction and capturing informational feedback while the blockchain transactions occur.…”

Section: Blockchain and Testing Approachesmentioning

confidence: 99%

A Collaborative Perspective for Blockchain & Testing

Elakaş¹,

Sözer²,

Çakmakçı³

et al. 2022

Preprint

View full text Add to dashboard Cite

<p>Blockchain technology is employed in missioncritical systems with high reliability requirements. Therefore, rigorous testing is essential for the adoption of this technology. Testing techniques that have been used for ensuring the reliability and security of blockchain-based systems include fuzz testing, model-based testing, mutation testing, search-based testing and concolic testing. On the other hand, blockchain technology can be utilized for improving the software and systems testing processes in general. We present a survey on this interplay between blockchain and testing. We categorize studies that apply testing techniques on blockchain-based systems and those studies that benefit from the blockchain technology for improving the testing process. We also propose a reference architecture for utilizing blockchain technology in the context of certification testing.</p>

show abstract

Section: Blockchain and Testing Approachesmentioning

confidence: 99%

A Collaborative Perspective for Blockchain & Testing

Elakaş¹,

Sözer²,

Çakmakçı³

et al. 2022

Preprint

View full text Add to dashboard Cite

show abstract

“…In DApp Testing, Gao etc. [3] proposed an automated testing technique called Sungari for DApps. It achieves significant optimization compared to the random testing approach.…”

Section: B Case With Command-line Toolmentioning

confidence: 99%

“…DApp testing involves not only users' behaviors but also the logic of smart contracts [3]. Hence, recent popular smart contract testing tools e.g.…”

Section: Introductionmentioning

confidence: 99%

Kaya: A Testing Framework for Blockchain-based Decentralized Applications

Zhang

Gao

et al. 2020

2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)

Self Cite

View full text Add to dashboard Cite

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 1 .

show abstract

“…Thus, the inputs for a more important path, which may contain the require function, can more likely be generated. Gao et al [23] proposed an integrated test input case generation from the perspective of the decentralized applications, which consists of a web interface part and the smart contract part. They identified meaningful web input events, which can influence the control condition, and they generated test cases based on the identified input, aiming to maximize the control path coverage.…”

Section: B Test Case and Suites For Smart Contractsmentioning

confidence: 99%

Automated Generation of Test Cases for Smart Contract Security Analyzers

Kim

Lee

2020

IEEE Access

View full text Add to dashboard Cite

We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper. Using contract analyzers is the most practical solution for building a secure blockchain service, but they are relatively immature and lacking stable performance metrics. Traditionally, performance reports only compare static contract analyzers with pre-defined test cases, such as the Juliet test suite. However, building such test suites is burdensome for smart contracts, which are frequently change. In this paper, we propose an automated method to assess contract analyzers of smart contracts by diversifying test cases. In the experimental results, we identified nine erroneous alarms in the state-of-the-art contract analyzers with automatically generated test cases on five vulnerabilities.

show abstract

Towards Automated Testing of Blockchain-Based Decentralized Applications

Cited by 33 publications

References 17 publications

A Collaborative Perspective for Blockchain & Testing

A Collaborative Perspective for Blockchain & Testing

Kaya: A Testing Framework for Blockchain-based Decentralized Applications

Automated Generation of Test Cases for Smart Contract Security Analyzers

Contact Info

Product

Resources

About