advanced · 20 COMPLETE LESSONS

Build, test and reason

Begin with “Set up a local Solidity project” and work toward “A local-only testing capstone”. Each available lesson includes a visual explanation and a quick knowledge check.

Start this track →

Read in order or choose a topic below. Completion marks stay in this browser. All 20 lessons in this track are available.

  1. 01

    Set up a local Solidity project

    Keep source, compiler settings and tests together.

    4 MIN READ
  2. 02

    Read compiler errors

    Find the actual failing location before changing unrelated code.

    4 MIN READ
  3. 03

    Unit tests for a counter

    Assert a small operation’s before-and-after behavior.

    4 MIN READ
  4. 04

    Test access control

    Exercise allowed callers and rejected callers.

    4 MIN READ
  5. 05

    Test revert data

    Check the failure schema and state outcome.

    4 MIN READ
  6. 06

    Test event emission

    Verify emitter, topics, data and rollback behavior.

    4 MIN READ
  7. 07

    Test token decimals

    Keep raw integers and display scaling separate.

    4 MIN READ
  8. 08

    Test storage invariants

    Check logical state properties across every modifying path.

    4 MIN READ
  9. 09

    Fuzz testing explained

    Generate many inputs for a stated property.

    4 MIN READ
  10. 10

    Invariant testing explained

    Generate action sequences while checking a property after each step.

    4 MIN READ
  11. 11

    Property-based ABI round trips

    Encoding and decoding should agree under the exact schema.

    4 MIN READ
  12. 12

    Fork testing and its limits

    A copied chain state is a particular test fixture, not a future guarantee.

    4 MIN READ
  13. 13

    Mocks versus real dependencies

    A mock tests selected behaviors, not every property of a real integration.

    4 MIN READ
  14. 14

    Differential testing

    Compare independent implementations on the same defined input.

    4 MIN READ
  15. 15

    Gas snapshots and their limits

    A measured cost belongs to a specific build and execution context.

    4 MIN READ
  16. 16

    Read compiler storage output

    Use slot, offset and type information together.

    4 MIN READ
  17. 17

    Verify deployed source conceptually

    Reproduce the relevant compiled artifact under matching settings.

    4 MIN READ
  18. 18

    Document contract assumptions

    Make hidden environmental requirements reviewable.

    4 MIN READ
  19. 19

    Review a pull request for safety

    Connect a change to its affected invariants and authority.

    4 MIN READ
  20. 20

    A local-only testing capstone

    Build evidence for one small contract without using a public network.

    4 MIN READ

← Choose another track · See the full curriculum