Blockchain verification and validation

Blockchain verification and validation: Techniques, challenges, and research directions

Marijan, Dusica (Simula Research Laboratory)
Lal, C. (TU Delft Cyber Security)

2022

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.

Benchmarking
Blockchain
Consensus
Formal verification
Ledger
P2P
Performance testing
Platform testing
Security testing
Simulation
Smart contracts
Software testing
System under test
Testing
Validation
Verification

http://resolver.tudelft.nl/uuid:900ede9e-b396-4369-bb1b-4286b341c856

https://doi.org/10.1016/j.cosrev.2022.100492

2023-07-01

1574-0137

Computer Science Review, 45

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.

Institutional Repository

review

© 2022 Dusica Marijan, C. Lal