Дослідження та розробка автоматизованих тестів смарт-контрактів Marketplace застосунку

Abstract

UK: У роботі проводилось дослідження процесів верифікації та тестування смарт- контрактів, написаних мовою програмування Solidity, з використанням статичного аналізу коду та автоматизованого тестування Розробка та впровадження статичного аналізатора коду, а також автоматизованих тестів для смарт-контрактів, з використанням інструментів JavaScript та GitHub Actions. Програмування на JavaScript, модульне тестування з використанням Chai, статичний аналіз коду Solidity, CI/CD з GitHub EN: Actions, а також бібліотека Web3.js для інтеграції зі смарт- контрактами. The work investigated the verification and testing processes of smart contracts written in the Solidity programming language, using static code analysis and automated testing. Development and implementation of a static code analyzer, as well as automated tests for smart contracts, using JavaScript and GitHub Actions tools. JavaScript programming, unit testing using Chai, Solidity static code analysis, CI/CD with GitHub Actions, and the Web3.js library for integration with smart contracts.