Beefy Boxes and Bandwidth Generously Provided by pair Networks
Just another Perl shrine
 
PerlMonks  

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

by Anonymous Monk
on Aug 04, 2005 at 20:22 UTC ( #481011=note: print w/ replies, xml ) Need Help??


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
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.

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.

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://481011]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others rifling through the Monastery: (6)
As of 2014-08-01 10:29 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    Who would be the most fun to work for?















    Results (2 votes), past polls