以太坊智能合约的变异测试
eth-vertigo的Python项目详细描述
眩晕
Vertigo是一个专门为智能合约设计的变异测试框架。 这个变异测试框架实现了一系列的变异算子，这些变异算子要么是从以前的作品中选择的，要么是根据稳定性定制的。
快速入门指南
要安装Vertigo，请执行以下命令：
pip3 install --user eth-vertigo
现在，您可以使用以下命令在松露项目上运行vertigo（假设在您的truffle-config.js中配置了development网络）：
vertigo run --network development
根据您的环境，可能需要指定松露可执行文件的位置：
vertigo run --network development --truffle <node_dir>/bin/truffle
有一些附加参数可供您调整Vertigo的执行：
$ vertigo run --help ⬡ 9.11.2 [±master ●●▴] Usage: vertigo run [OPTIONS] Performs a mutation test campaign Options: --output TEXT Output mutation test results to file --network TEXT Network names that vertigo can use --truffle-location TEXT Location of truffle cli --sample-ratio FLOAT If this option is set. Vertigo will apply the sample filter with the given ratio --exclude TEXT Vertigo won't mutate files in these directories --help Show this message and exit.
出版物
CBT'19将提供一篇介绍眩晕症的论文
欢迎加入QQ群-->： 979659372
