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
- Автор
- Trail of Bits
- Лицензия
- CC-BY-SA-4.0
Начинает с каталога свойств — обратимость преобразования, обратная операция, эталон, идемпотентность, инвариант и коммутативность — от слабых к сильным, чтобы тест проверял самое строгое правило, которое поддерживает код, а не просто отсутствие сбоя. Рассматривает Hypothesis, fast-check, proptest, jqwik, rapid и Echidna для инвариантов контрактов, а также честный вывод: для некоторых частей кода свойств нет, и им лучше подходят тесты на конкретных примерах.
Похожие навыки
Test-Driven Development
НавыкЗакрепляет цикл «красный — зелёный — рефакторинг»
Incremental Implementation
НавыкВнедряет функции небольшими сквозными этапами без поломки сборки
Security Guidance
НавыкПроверяет код агента при правке, остановке и коммите
Комментарии(0)
Войдите, чтобы комментировать