3 ms·
I'm not sure how this is relevant? All programs have an infinite number of possible inputs. You check the ones that you expect. Is that somehow non-obvious?
by ohyes 15y ago
I'm not sure how this is relevant?
All programs have an infinite number of possible inputs.
You check the ones that you expect.
Is that somehow non-obvious?
- blinks 15y ago> You check the ones that you expect. You expect buffer overflows? Out-of-bounds arguments? These are the things the GP is referring to, I figure.
- mian2zi3 15y agoMathematics proves things about an infinite class of objects all the time, like, say, the input/output behavior of your program. One technique to do this is induction.