文件名称：眩晕：以太坊智能合约的变异测试
文件大小：52KB
文件格式：ZIP
更新时间：2024-02-25 23:03:36
testing security mutation-testing ethereum mutations
眩晕 Vertigo是一个变异测试框架，旨在专门用于智能合约。 这个突变测试框架实现了一系列突变算子，这些算子可以从以前的工作中选择，也可以根据需要进行调整。 快速入门指南 要安装眩晕，请执行以下命令： pip3 install --user eth-vertigo 现在，您可以使用以下命令在松露项目上运行vertigo（假设您在truffle-config.js配置了development网络）： vertigo run --network development 根据您的环境，可能需要指定松露可执行文件的位置： vertigo run --network development