معرفی شرکت ها
eth-vertigo-1.3.0
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Mutation Testing for Ethereum Smart Contracts
| ویژگی | مقدار |
|---|---|
| سیستم عامل | - |
| نام فایل | eth-vertigo-1.3.0 |
| نام | eth-vertigo |
| نسخه کتابخانه | 1.3.0 |
| نگهدارنده | [] |
| ایمیل نگهدارنده | [] |
| نویسنده | Joran Honig |
| ایمیل نویسنده | joran.honig@gmail.com |
| آدرس صفحه اصلی | https://github.com/joranhonig/vertigo |
| آدرس اینترنتی | https://pypi.org/project/eth-vertigo/ |
| مجوز | GPLv3 |
# vertigo
[](https://travis-ci.org/JoranHonig/vertigo)
[](https://gitter.im/eth-vertigo/community?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge)
Vertigo is a mutation testing framework designed to work specifically for smart contracts.
This mutation testing framework implements a range of mutation operators that are either selected from previous works or tailored to solidity.
### Quick Start Guide
To install vertigo, execute the following command:
```bash
pip3 install --user eth-vertigo
```
You can now run vertigo on a truffle project with the following command (assuming you have a `development` network configured in your`truffle-config.js`):
```bash
vertigo run --network development
```
Depending on your environment it might be required to specify the location of the truffle executable:
```bash
vertigo run --network development --truffle-location <node_dir>/bin/truffle
```
There are a few additional parameters available that allow you to tweak the execution of vertigo:
```bash
$ python vertigo.py run --help
Usage: vertigo.py run [OPTIONS]
Performs a core test campaign
Options:
--output TEXT Output core test results to file
--network TEXT Network names that vertigo can use
--rules TEXT Universal Mutator style rules to use in mutation
testing
--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.
```
### Known Issues
**Ganache** is generally used only for a single run of the entire test suite.
For the general use case, it does not matter if Ganache creates a few thousand files.
Unfortunately, once you start executing the entire test suite hundreds of times, you can end up with millions of files, and your machine could run out of free inode's.
You can check whether this happens to you by running:
```
df -i
```
This issue ([#1](https://github.com/JoranHonig/vertigo/issues/1)) is known, and we're working on a fix.
In the meanwhile. If your test suite is large enough to munch all your inodes, then there are two options:
- You can use the command line option `--sample-ratio` to select a random subsample of the mutations (reducing the number of times that the test suite is run)
- You can create a partition that has a sufficient amount of inodes available
### Publications and Articles
[Practical Mutation Testing for Smart Contracts](https://link.springer.com/chapter/10.1007/978-3-030-31500-9_19) - Joran J. Honig, Maarten H. Everts, Marieke Huisman
[Introduction into Mutation Testing](https://medium.com/swlh/introduction-into-mutation-testing-d6512dc702b0?source=friends_link&sk=2878e0c08b6301a125198a264e43edb4) - Joran Honig
[Mutation Testing for Smart Contracts - A step by step guide](https://medium.com/@joran.honig/mutation-testing-for-smart-contracts-a-step-by-step-guide-68c838ca2094) - Joran Honig
If you want to cite vertigo, please use the following:
```
@InProceedings{10.1007/978-3-030-31500-9_19,
author="Honig, Joran J.
and Everts, Maarten H.
and Huisman, Marieke",
title="Practical Mutation Testing for Smart Contracts",
booktitle="Data Privacy Management, Cryptocurrencies and Blockchain Technology",
year="2019",
publisher="Springer International Publishing",
pages="289--303"
}
```
نیازمندی
| مقدار | نام |
|---|---|
| - | jsonpath-rw |
| - | pytest |
| - | click |
| - | tqdm |
| - | jinja2 |
| - | loguru |
نحوه نصب
نصب پکیج whl eth-vertigo-1.3.0:
pip install eth-vertigo-1.3.0.whl
نصب پکیج tar.gz eth-vertigo-1.3.0:
pip install eth-vertigo-1.3.0.tar.gz