One of the great mistakes is to judge policies and programs by their intentions rather than their results
Archives For Thought for the day
Out of this nettle – danger, we pluck this flower – safety.
One can construct convincing proofs quite readily of the ultimate futility of exhaustive testing of a program and even of testing by sampling. So how can one proceed? The role of testing, in theory, is to establish the base propositions of an inductive proof. You should convince yourself, or other people, as firmly as possible, that if the program works a certain number of times on specified data, then it will always work on any data. This can be done by an inductive approach to the proof.
But the virtues we get by first exercising them, as also happens in the case of the arts as well. For the things we have to learn before we can do them, we learn by doing them, e.g., men become builders by building and lyreplayers by playing the lyre; so too we become just by doing just acts, temperate by doing temperate acts, brave by doing brave acts.
An argument is defined by what it ignores and the perspectives it opposes (explicitly or implicitly)
Inertia has a thousand fathers…