一句话：提出面向以太坊智能合约 Solidity 的变异测试工具 MuSC，支持快速生成变异体与自动化测试操作。
智能合约一旦部署到区块链便无法修改，因此部署前必须进行充分测试。变异测试可用于评估软件测试的充分性，但以太坊智能合约（ESC）需要专门的变异测试支持。本文介绍 MuSC——一个面向以太坊智能合约的变异测试工具。它能快速生成大量变异体，并支持创建测试网、部署合约和执行测试等自动化操作。特别地，MuSC 针对智能合约编程语言 Solidity 实现了一组新的变异算子，从而能够在一定程度上暴露智能合约的缺陷。工具提供演示视频和源码下载。
The smart contract cannot be modified when it has been deployed on a blockchain. Therefore, it must be given thorough test before its being deployed. Mutation testing is considered as a practical test methodology to evaluate the adequacy of software testing. In this paper, we introduce MuSC, a mutation testing tool for Ethereum Smart Contract (ESC). It can generate numerous mutants at a fast speed and supports the automatic operations such as creating test nets, deploying and executing tests. Specially, MuSC implements a set of novel mutation operators w.r.t ESC programming language, Solidity. Therefore, it can expose the defects of smart contracts to a certain degree. The demonstration video of MuSC is available at https: //youtu.be/3KBKXJPVjbQ, and the source code can be downloaded at https://github.com/belikout/MuSC-Tool-Demo-repo.
DOI 原文 ·
@inproceedings{paperbot5309,
title = {MuSC: A Tool for Mutation Testing of Ethereum Smart Contract},
author = {Zixin Li and Haoran Wu and Jiehui Xu and Xingya Wang and Lingming Zhang and Zhenyu Chen},
booktitle = {ASE},
year = {2019},
doi = {10.1109/ase.2019.00136}
}