in reply to Theorem proving and Unit testing

You might want to take a look at something like QuickCheck to get further inspiration.
QuickCheck is a tool for testing Haskell programs automatically. The programmer provides a specification of the program, in the form of properties which functions should satisfy, and QuickCheck then tests that the properties hold in a large number of randomly generated cases.

-- All code is 100% tested and functional unless otherwise noted.

Replies are listed 'Best First'.
Re^2: Theorem proving and Unit testing
by stvn (Monsignor) on Aug 25, 2004 at 22:26 UTC

    Thanks for the link, this looks really interesting, very much what I am thinking about. Now only if there were a perl version,... hmmm. Have you yourself ever used this system?

    -stvn
[reply]
      Nope. Never used it myself, although I've been planning to for a while now. And if you look at the bottom of the page you'll see people have imported the idea to languages like Erlang, Scheme, Common Lisp, and Python, so I'd think a perl version wouldn't be too tough.

      -- All code is 100% tested and functional unless otherwise noted.
[reply]

In Section Meditations