Testing, Verification and Validation of Distributed Ledger Systems

Improving the quality of software that implements distributed ledger systems based on blockchain technology is an urgent task for the transport industry. In this article, we will look at tools to improve quality such as testing, validation, and validation. The paper lists a number of existing tools for testing and verifying blockchain systems and smart contracts, and also identifies the problem of the lack of an appropriate normative base and standards in this area.