[Chicago] python 3.0 hep

[Tim Ottinger]

Martin Maney wrote:
> On Mon, Dec 08, 2008 at 10:36:16AM -0600, Michael Tobis wrote:
>   
>> I think Dijkstra's opposition to testing is wrong in favor of proof is
>> impractical.
>>     
>
> It may be impractical, but he's not wrong: testing is literally trying
> to "prove" a negative (the code has no errors) by showing that this
> case works, and that case works,
I have a different take here.  I write tests to prove that one path or another works, then I run them over and over to show that those particular uses are not broken by the new change I may have just introduced.  I'm not trying to prove it's bug-free, only that the
important uses of it are functioning correctly (still).

I think that's about all you can hope from testin.

-- 

Tim ---------------------------
http://agileotter.blogspot.com/
http://tottinge.blogsome.com/
-Tim speaks only for himself---