3 ms·
By the very definition, if your brain has a blind spot it'll not think of all the corner cases to test. That's why we do code reviews.
by BeetleB 2y ago
By the very definition, if your brain has a blind spot it'll not think of all the corner cases to test. That's why we do code reviews.
- kazinator 2y agoThe code will reveal the corner cases to you; you will think of things you didn't think of before writing the code. Before you write the code, your ideas may be so poor that they don't even hit the happy cases when you try to code them. You go "Oh, what was I thinking; it's obvious now that it could never work that way ..." Of course, it's coding we are talking about; there will be bugs. Fewer than in some wishful prose, though.
- BeetleB 2y agoAh, I see your point now. Sure, writing code will help you understand the problem better, and may let you see more corner cases. But not all (which was my point).
- mistermann 2y ago> The code will reveal the corner cases to you; you will think of things you didn't think of before writing the code. The step of putting propositions into a proper form such that tests can be written against them is arguably half the benefit. https://en.m.wikipedia.org/wiki/Well-formed_formula https://en.m.wikipedia.org/wiki/Well-formed_formula