3 ms·
Complete specification is impossible with tests, except for functions with finite domains. Testing is about reducing bugs to a certain level. Entirely differen
by jhpriestley 15y ago
Complete specification is impossible with tests, except for functions with finite domains.
Testing is about reducing bugs to a certain level. Entirely different techniques - namely formal proofs - are required to eliminate bugs. Strong static typing is more effective than tests, in terms of cost/benefit, at reducing bugs.