Tesi etd-07072025-212720 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
DE MARCHI, FRANCESCO
URN
etd-07072025-212720
Titolo
Property Based Testing for Solidity
Dipartimento
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
CYBERSECURITY
Relatori
relatore Prof. Ferrari, Gian Luigi
supervisore Prof.ssa Bodei, Chiara
supervisore Prof.ssa Bodei, Chiara
Parole chiave
- property based testing
- Solidity
Data inizio appello
23/07/2025
Consultabilità
Completa
Riassunto
Property-Based Testing (PBT) is a useful approach for verifying the correctness of programs. The Ethereum Virtual Machine (EVM), which is used to run smart contracts, introduces the concept of "gas" as a unit of execution cost that must be paid by whoever invokes the contract.
In the context of the EVM, execution costs become a concern for program correctness and must be tested accordingly. This thesis proposes a type system to enable PBT on Solidity smart contracts based on the TinySol language.
In the context of the EVM, execution costs become a concern for program correctness and must be tested accordingly. This thesis proposes a type system to enable PBT on Solidity smart contracts based on the TinySol language.
File
| Nome file | Dimensione |
|---|---|
| Tesi_De_...hi_1A.pdf | 1.72 Mb |
Contatta l’autore |
|