ModCon: A Model-Based Testing Platform for Smart Contracts

Ye Liu, Yi Li, Shang-Wei Lin, and Qiang Yan

In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2020

Abstract: Unlike those on public permissionless blockchains, smart contracts on enterprise permissioned blockchains are not limited by resource constraints, and therefore often larger and more complex. Current testing and analysis tools lack support for such contracts, which demonstrate stateful behaviors and require special treatment in quality assurance. In this paper, we present a model-based testing platform, called ModCon, relying on user-specified models to define test oracles, guide test generation, and measure test adequacy. ModCon is web-based and supports both permissionless and permissioned blockchain platforms. We demonstrate the usage and key features of ModCon on real enterprise smart contract applications.

Cite:

@inproceedings{Liu2020MAM,
  author = {Liu, Ye and Li, Yi and Lin, Shang-Wei and Yan, Qiang},
  booktitle = {Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE)},
  month = nov,
  pages = {1601--1605},
  publisher = {ACM},
  title = {{ModCon}: A Model-Based Testing Platform for Smart Contracts},
  year = {2020}
}