Re:The Handmade Manifesto
by iamcurious on Friday August 21, 2015 @09:21AM
(#10097225)
>you have a test plan (and comprehensive test suite) that guarantees correctness and performance.
I value the work you do, but please don't imply that tests can guarantee correctness. Tests can never prove the absence of bugs! To guarantee correctness we need to treat programs as mathematical objects.
I value the work you do, but please don't imply that tests can guarantee correctness. Tests can never prove the absence of bugs! To guarantee correctness we need to treat programs as mathematical objects.