Skill
Property-Based Testing
Encontra a propriedade algébrica certa e cria o teste gerador
Instalação
Oficial/plugin marketplace add trailofbits/skills
Acionada por
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Requer ferramentas
ReadWriteEditBash
- Autor
- Trail of Bits
- Licença
- CC-BY-SA-4.0
Repositóriohttps://github.com/trailofbits/skills
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.
Comentários(0)
Entre para comentar