Beefy Boxes and Bandwidth Generously Provided by pair Networks
No such thing as a small change

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

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.

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


    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.

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://481011]
[Corion]: erix: It's needed for keeping the list of users and the list of tags associated with an image, and for keeping the images with users. I want an easy way to know if an image can be deleted, which means that it can't be referenced by any tag anymore. ...
[Corion]: SQL feels like a natural choice here :)

How do I use this? | Other CB clients
Other Users?
Others perusing the Monastery: (12)
As of 2018-03-20 14:10 GMT
Find Nodes?
    Voting Booth?
    When I think of a mole I think of:

    Results (253 votes). Check out past polls.