Title
Blockchain verification and validation: Techniques, challenges, and research directions
Author
Marijan, Dusica (Simula Research Laboratory)
Lal, C. (TU Delft Cyber Security)
Date
2022
Abstract
As blockchain technology is gaining popularity in industry and society, solutions for Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have started gaining equal attention. To ensure that BC-Apps are properly developed before deployment, it is paramount to apply systematic V&V to verify their functional and non-functional requirements. While existing research aims at addressing the challenges of engineering BC-Apps by providing testing techniques and tools, blockchain-based software development is still an emerging research discipline, and therefore, best practices and tools for the V&V of BC-Apps are not yet sufficiently developed. In this paper, we provide a comprehensive survey on V&V solutions for BC-Apps. Specifically, using a layered approach, we synthesize V&V tools and techniques addressing different components at various layers of the BC-App stack, as well as across the whole stack. Next, we provide a discussion on the challenges associated with BC-App V&V, and summarize a set of future research directions based on the challenges and gaps identified in existing research work. Our study aims to highlight the importance of BC-App V&V and pave the way for a disciplined, testable, and verifiable BC development.
Subject
Benchmarking
Blockchain
Consensus
Formal verification
Ledger
P2P
Performance testing
Platform testing
Security testing
Simulation
Smart contracts
Software testing
System under test
Testing
Validation
Verification
To reference this document use:
http://resolver.tudelft.nl/uuid:900ede9e-b396-4369-bb1b-4286b341c856
DOI
https://doi.org/10.1016/j.cosrev.2022.100492
Embargo date
2023-07-01
ISSN
1574-0137
Source
Computer Science Review, 45
Bibliographical note
Green Open Access added to TU Delft Institutional Repository 'You share, we take care!' - Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.
Part of collection
Institutional Repository
Document type
review
Rights
© 2022 Dusica Marijan, C. Lal