Las pruebas basadas en propiedades son una herramienta increíblemente simple y poderosa para el descubrimiento de errores, pero a pesar de su eficacia, casi no se conocen en la comunidad de desarrollo de contratos inteligentes. Esta charla introducirá el concepto de pruebas basadas en propiedades, discutirá estrategias para elegir buenas propiedades y probarlas a fondo, y luego abordará cómo aplicar estas ideas específicamente a los contratos inteligentes. Hablaremos sobre el uso de Manticore y Echidna para las pruebas, y veremos errores reales que estas herramientas pueden encontrar en código de producción.
JP Smith es ingeniero de seguridad en Trail of Bits.