CrossHair
v0.0.80
Инструмент анализа для Python, который размывает линию между системами тестирования и типа.
Последние новости: самый популярный инструмент тестирования Python, гипотеза, теперь поддерживает запуск Crosshair в качестве дополнительного бэкэнда!
Если у вас есть функция с аннотациями типа и добавите контракт в поддерживаемый синтаксис, Crosshair попытается найти для вас контрпримеры:
Crosshair работает, неоднократно вызывая ваши функции с помощью символических входов. Он использует решатель SMT (своего рода теорема), чтобы исследовать жизнеспособные пути выполнения и найти контрпримеры для вас. Это не новая идея; Подход Python был впервые описан в этой статье. Однако, насколько мне известно, Crosshair является наиболее полной реализацией: она может использовать символические рассуждения для встроенных типов, пользовательских классов и большей части стандартной библиотеки.
Попробуйте Crosshair прямо сейчас, в вашем браузере, на Crosshair-web.org!
Crosshair имеет интеграцию IDE для VS -кода, Pycharm и многое другое.
Наконец, Crosshair может сделать больше, чем проверять контракты. Он также может генерировать модульные тесты и найти поведенческие различия между функциями.
Хотите помочь? Подпишитесь на обновления по электронной почте или RSS. Звезда ️ хранилище. Есть и другие способы помочь.
