Testing, Verification and Validation of Distributed Ledger Systems

Pankov, K. N.

doi:10.1109/ieeeconf48371.2020.9078541

Cited by 9 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such application constitutes our future objective, and we also intend to apply other methods such as the one published by ISD2014 [22] to enrich this study, where not only new articles should appear, but also the existing grey and commercial literature. For example, during the last few months, new relevant papers have appeared as Pankov [49] lists several 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. Miraz [47] explores the 6 traditional SDLC models and advocates that there is an urgent need to develop a new standard model(s).…”

Section: Conclusion and Open Issuesmentioning

confidence: 99%

Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review

et al. 2020

View full text Add to dashboard Cite

Blockchain technology promises to spark a real revolution. One of most important concepts associated with this technology is smart contracts, which enable the automatic execution of agreements and augur a world without intermediaries. The conditions and rules of "contracts" are established in a computer codes and trust is enforced by consensus among the participants. One relevant feature associated with smart contract is the immutability property, which establishes the non-alteration of blockchain network data after the clauses of the contract are been approved by all parties or entities involved. For this reason, smart contract development requires more effort and care than the development of other common programs. They require systematic mechanisms to collect requirements and functional specifications. In addition, it is necessary to verify and validate the agreed functionality and the implemented code before they are deployed in the blockchain platform. This paper presents a systematic literature review of primary studies in the field of Software Development Life Cycle, focusing on model-based software design and testing in the blockchain domain of smart contracts. This research aims to identify gaps and/or opportunities for further research. After carried out this review, it was observed that no clear methodology exists for evaluating and validating the quality either of this software or the overall development process. This means that software developers may implement smart contract code in which bugs and serious security vulnerabilities appear when the software is delivered to their customers.

show abstract

Section: Conclusion and Open Issuesmentioning

confidence: 99%