Навык
Property-Based Testing
Находит подходящее свойство и строит вокруг него тест-генератор
Установка
Официальный/plugin marketplace add trailofbits/skills
Условия запуска
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Нужны инструменты
ReadWriteEditBash
- Автор
- Trail of Bits
- Лицензия
- CC-BY-SA-4.0
Репозиторийhttps://github.com/trailofbits/skills
Начинает с каталога свойств — обратимость преобразования, обратная операция, эталон, идемпотентность, инвариант и коммутативность — от слабых к сильным, чтобы тест проверял самое строгое правило, которое поддерживает код, а не просто отсутствие сбоя. Рассматривает Hypothesis, fast-check, proptest, jqwik, rapid и Echidna для инвариантов контрактов, а также честный вывод: для некоторых частей кода свойств нет, и им лучше подходят тесты на конкретных примерах.
Комментарии(0)
Войдите, чтобы комментировать