Invariant Testing Workshop скачать в хорошем качестве

Invariant Testing Workshop

https://x.com/agfviggiano   / discord   Learn how to write and test system properties for smart contracts with Antonio Viggiano in this workshop. You’ll learn how to use Hoare logic, ghost variables, fuzzing, and more to ensure your code is secure and reliable. 00:02:00 Start writing your system properties 00:07:05 Summarize all properties you can in plain English 00:09:05 Categorize your invatirants by type 00:14:40 Start writing invariants in order of priority 00:18:10 Code your test in Hoare logic 00:23:55 Bound values to not waste fuzz runs 00:26:15 Use ghost variables to check "before/after" 00:27:20 Check your logic against different implementations 00:29:10 Prefer handler-based testing 00:32:40 Use multiple actors for more realistic scenarios 00:33:35 Limit yhe number of targets and selectro the fuzzer is calling 00:36:40 Do a good check for coverage 00:38:08 Think about how invariants may change 00:40:25 Can you please check coverage again? :) 00:45:08 Reduce the input space of the fuzzer 00:47:35 Test multiple runs, depth & seeds 00:49:20 Create unit test with failed runs 00:50:38 Help your fuzzer