Property-Based Testing
Segurança · Profundo
Metodologia de teste onde desenvolvedores definem propriedades (invariantes) que devem ser verdadeiras para todas as entradas validas, e um framework de teste gera entradas aleatorias para tentar falsificar essas propriedades. Diferente de testes unitarios que verificam exemplos especificos, testes baseados em propriedades exploram o espaço de entradas de forma estocastica. Para programas Solana, propriedades podem incluir 'o fornecimento total de tokens nunca muda durante transferencias' ou 'apenas a autoridade pode modificar a conta de configuração.' Ferramentas como Trident e proptest suportam essa abordagem.