Build model-based testing for smart contract

Build model-based testing for smart contract

Blockchain technology has brought about many benefits for businesses such as immutability, trust, and its decentralized nature. Through blockchain technology, smart contracts were created on top of blockchains as a solution to provide security and reduce transaction costs for businesses. However, wi...

Full description

Saved in:
Bibliographic Details
Main Author: Lim, Sebastian Jing Jie
Other Authors: Li Yi
Format: Final Year Project
Language:English
Published: Nanyang Technological University 2022
Subjects:
Engineering::Computer science and engineering::Computer systems organization::Special-purpose and application-based systems
Online Access:https://hdl.handle.net/10356/156544
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
Description
Summary:Blockchain technology has brought about many benefits for businesses such as immutability, trust, and its decentralized nature. Through blockchain technology, smart contracts were created on top of blockchains as a solution to provide security and reduce transaction costs for businesses. However, with the popularity of smart contracts, it is critical to ensure that the smart contracts are secure and do not have any vulnerabilities for threat actors to exploit. ModCon was developed to have a model-based testing capability to generate well designed test cases for smart contracts. In this project, the aim will be to test ModCon on more types of contracts, such as games, auctions, DeFi (Decentralized Finance), etc.

Similar Items