Re^4: Test::LectroTest and pseudo random distributions

in reply to Re^3: Test::LectroTest and pseudo random distributions
in thread When test-driven development just won't do

My point is that if you understand the problem space well enough and specify the expectation well enough, ordinary tests are easily sufficient.

If you understand the problem well enough, you might as well try and mathematically prove that your program conforms to the specification, and dispense with the tests all together.

Comment on Re^4: Test::LectroTest and pseudo random distributions

Replies are listed 'Best First'.
Re^5: Test::LectroTest and pseudo random distributions by chromatic (Archbishop) on Aug 05, 2005 at 00:39 UTC
Unless you program in a language (or with a technique) that can verify the correctness of your program, you will have trouble when someone modifies the code.	[reply]
Re^5: Test::LectroTest and pseudo random distributions by xdg (Monsignor) on Aug 04, 2005 at 20:32 UTC
Easy to say, but hard to do. I have a friend who did his Ph.D. dissertation on mathematically-provable program compilation and it's a very complicated problem. (Which, I guess, puts me in the pragmatic "systems" camp instead of the purist "theory" camp for comp sci.) -xdg Code written by xdg and posted on PerlMonks is public domain. It is provided as is with no warranties, express or implied, of any kind. Posted code may not have been tested. Use of posted code is at your own risk.	[reply]

In Section Meditations