O teste baseado em propriedades é uma ferramenta incrivelmente simples e poderosa para a descoberta de bugs, mas, apesar de sua eficácia, é quase desconhecida na comunidade de desenvolvimento de contratos inteligentes. Esta palestra irá introduzir o conceito de teste baseado em propriedades, discutir estratégias para escolher boas propriedades e testá-las de forma abrangente, e depois abordar como aplicar essas ideias especificamente a contratos inteligentes. Vamos discutir o uso tanto do Manticore quanto do Echidna para testes e analisar bugs reais que essas ferramentas podem encontrar em código de produção.
JP Smith é engenheiro de segurança da Trail of Bits.