You can do many things other than testing:

- use a memory safe language

- formal verification (multiple implementations even)

- build a simulator like FoundationDB did