Les tests basés sur les propriétés sont un outil incroyablement simple et puissant pour la découverte de bugs, mais malgré leur efficacité, ils sont presque inconnus dans la communauté de développement de contrats intelligents. Cette présentation introduira le concept de tests basés sur les propriétés, discutera des stratégies pour choisir de bonnes propriétés et les tester de manière approfondie, puis expliquera comment appliquer ces idées spécifiquement aux contrats intelligents. Nous aborderons l'utilisation de Manticore et d'Echidna pour les tests, et examinerons de vrais bugs que ces outils peuvent trouver dans le code de production.
JP Smith est ingénieur en sécurité chez Trail of Bits.