3 ms·
You've just defined Test-Driven-Development.
You've just defined Test-Driven-Development.
Sorta? But unit testing is such a problem-solving methodology that it really does seem like we want something stronger.
TDD is informal, I was thinking about something a bit more mathematical. It's hard to reason about spaces with TDD.