一句话：提出模型驱动的智能合约测试平台 ModCon，用用户模型定义测试预言、指导用例生成并度量测试充分性。
企业许可链上的智能合约不受公共无许可链的资源限制，往往更大、更复杂，并表现出状态化行为，现有测试与分析工具难以充分支持其质量保证。本文提出基于模型的测试平台 ModCon，用户通过指定模型来定义测试预言、指导测试生成并度量测试充分性。ModCon 基于 Web，同时支持无许可链和许可链平台。作者在真实企业智能合约应用上展示了 ModCon 的使用方式和关键特性，表明该平台可用于此类合约的模型化测试实践。
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.
DOI 原文 ·
@inproceedings{paperbot5814,
title = {ModCon: a model-based testing platform for smart contracts},
author = {Ye Liu and Yi Li and Shang-Wei Lin and Qiang Yan},
booktitle = {FSE},
year = {2020},
doi = {10.1145/3368089.3417939}
}