Build model-based testing for smart contract

• 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
• Institution: Nanyang Technological University

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.