tag
Testing
2 posts
Choosing Test Cases, and Proving They Catch Real Bugs
How to design test inputs that each target a specific mistake, then break the C code ten ways on purpose to prove the test catches every one.
Golden Vectors: Testing That Python and C Calculate the Same Features
A hash cannot tell whether two functions agree. Golden vectors can: saved inputs and outputs that both the Python and the C code must reproduce.