software engineering tools for mozart/oz.

[Gal Amram]

Thanks :-)

On 4/6/07, Juergen Stuber <juergen at jstuber.net> wrote:
>
> Hi Torsten, hi Gal,
>
> Torsten Anders <torstenanders at gmx.de> 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 <juergen at jstuber.net>
> http://www.jstuber.net/
> gnupg key fingerprint = 2767 CA3C 5680 58BA 9A91  23D9 BED6 9A7A AF9E 68B4
>
> _________________________________________________________________________________
> mozart-users mailing list
> mozart-users at mozart-oz.org
> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.info.ucl.ac.be/pipermail/mozart-users/attachments/20070406/1a842ae5/attachment.html