Hi Torsten, hi Gal, Torsten Anders <[EMAIL PROTECTED]> wrote: > > Your contribution to Oz would be much appreciated. Concerning the > test-suite for the mozart standard library, Juergen Stuber once > announced a unit testing framework for Oz which may be useful for this. > > > http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/2005/006123.html > > It seems the link he provided is dead, though... (I still have his > source on my machine..)
it just got resurrected, feel free to reuse and improve it. Actually I think (from experience with Java unit tests in industry) that there should be something better than wait in real time for a timeout when testing concurrent programs. The timeouts slow down the tests a lot, and the outcome is nondeterministic (e.g. tests run fine for the developer, but fail in a complete system build). I'd like a meta-interpreter which can provoke all the nasty races deterministically and test that they are handled correctly, and run as quickly as possibly by simulating the passage of time. But that would be a very big project. Jürgen -- Jürgen Stuber <[EMAIL PROTECTED]> http://www.jstuber.net/ gnupg key fingerprint = 2767 CA3C 5680 58BA 9A91 23D9 BED6 9A7A AF9E 68B4 _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
