Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 29 Mar 2005 09:23:38 -0800
From:      Brooks Davis <brooks@one-eyed-alien.net>
To:        Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
Cc:        freebsd-net@freebsd.org
Subject:   Re: Rigorous specification for TCP, UDP, and Sockets
Message-ID:  <20050329172338.GA5995@odin.ac.hmc.edu>
In-Reply-To: <E1DGCzF-0001sr-00@mta1.cl.cam.ac.uk>
References:  <m2ekdzs0wf.wl%gnn@neville-neil.com> <E1DGCzF-0001sr-00@mta1.cl.cam.ac.uk>

next in thread | previous in thread | raw e-mail | index | archive | help

--OgqxwSJOaUobr8KG
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Tue, Mar 29, 2005 at 10:26:13AM +0100, Peter Sewell wrote:
>=20
> >Hi Peter,
> >
> >Interesting paper and work. =20
>=20
> Many thanks.
>=20
> >Are you plannning to share the tools as
> >well?  That's what I'd be most interested in seeing, basically the
> >ability to turn your conformance tests into regression tests.
>=20
> It's unclear at the moment - we'd certainly like to make that
> regression testing more routine, but the current tools are non-trivial
> to drive.  We'll be looking to see how much interest there is, and
> also how accessible the spec is, before going further.

In what way are they hard to drive?  Are they difficult to set up, or
difficult to run?  If they are difficult to set up, you might take a
look at using EmuLab (www.emulab.net) to build images with configured
tests so OSes just need to be updated to test a change.

> What kind of regression testing is in use now?

None for the most part.  People test some limited things, but I don't
think anyone does the kind if rigorous testing we should be doing.

-- Brooks

--=20
Any statement of the form "X is the one, true Y" is FALSE.
PGP fingerprint 655D 519C 26A7 82E7 2529  9BF0 5D8E 8BE9 F238 1AD4

--OgqxwSJOaUobr8KG
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)

iD8DBQFCSY8ZXY6L6fI4GtQRAn9SAJ9BFJ2BZJ9dhUP8K/XgDvZe7syhBgCeM0sU
aPbyRZofsmDg+X73OaDTx6s=
=UI7a
-----END PGP SIGNATURE-----

--OgqxwSJOaUobr8KG--



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20050329172338.GA5995>