Property-Based Testing
Encontra a propriedade algébrica certa e cria o teste gerador
Instalação
Oficial/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
- Autor
- Trail of Bits
- Licença
- CC-BY-SA-4.0
Parte de um catálogo — ida e volta, inversão, oráculo, idempotência, invariância e comutatividade — ordenado da propriedade mais fraca à mais forte, para que o teste valide a regra mais robusta compatível com o código em vez de se limitar a “não travou”. Abrange Hypothesis, fast-check, proptest, jqwik, rapid e Echidna para invariantes de contratos, além de reconhecer com honestidade quando um código não possui uma propriedade adequada e deve usar testes baseados em exemplos.
Skills semelhantes
Test-Driven Development
SkillImpõe o ciclo vermelho-verde-refatorar antes da implementação
Incremental Implementation
SkillEntrega recursos em fatias pequenas que mantêm o build estável
Security Guidance
SkillRevisa código de agentes ao editar, encerrar e fazer commit
Comentários(0)
Entre para comentar