Automated Testing of Tezos Blockchain-Oriented Software

Afef Jmal Maâlej, Achraf Weli

2025

Abstract

This research centers on the testing of smart contracts within the Tezos blockchain as a security verification and validation activity, supporting thus its development life cycle. This specific blockchain type is recognized for its self-modifying feature, which facilitates protocol upgrades without network splits. Despite Tezos advanced technology, smart contracts may still harbor bugs and vulnerabilities, necessitating rigorous software testing for quality and security assurance. The primary aim of this work is to develop a solution addressing the divide between technical blockchain development and non-technical participants in the smart contract ecosystem. Our ST2A testing tool, realized for SmartPy-developed smart contracts, offers a user-friendly platform catering to individuals with limited blockchain or programming knowledge. Its overarching objective is to illustrate the Tezos smart contract testing process, ensuring accessibility, comprehension, and actionable insights for non-developers such as project managers, security auditors, and business stakeholders.

Paper Citation

in Harvard Style

Maâlej A. and Weli A. (2025). Automated Testing of Tezos Blockchain-Oriented Software. In Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE; ISBN 978-989-758-742-9, SciTePress, pages 541-548. DOI: 10.5220/0013291000003928

in Bibtex Style

@conference{enase25,
author={Afef Maâlej and Achraf Weli},
title={Automated Testing of Tezos Blockchain-Oriented Software},
booktitle={Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE},
year={2025},
pages={541-548},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013291000003928},
isbn={978-989-758-742-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE
TI - Automated Testing of Tezos Blockchain-Oriented Software
SN - 978-989-758-742-9
AU - Maâlej A.
AU - Weli A.
PY - 2025
SP - 541
EP - 548
DO - 10.5220/0013291000003928
PB - SciTePress