Eigenschaftsbasierte Tests sind ein unglaublich einfaches und leistungsstarkes Werkzeug zur Fehlersuche, aber trotz ihrer Wirksamkeit sind sie in der Entwicklungsgemeinschaft für Smart Contracts nahezu unbekannt. Dieser Vortrag wird das Konzept des eigenschaftsbasierten Testens vorstellen, Strategien zur Auswahl guter Eigenschaften und deren gründlicher Testung diskutieren und dann darauf eingehen, wie man diese Ideen speziell auf Smart Contracts anwendet. Wir werden die Verwendung von sowohl Manticore als auch Echidna für Tests besprechen und uns reale Fehler ansehen, die diese Werkzeuge im Produktionscode finden können.
JP Smith ist Sicherheitstechniker bei Trail of Bits.