From owner-freebsd-net@FreeBSD.ORG Tue Mar 29 17:23:43 2005 Return-Path: Delivered-To: freebsd-net@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 7399D16A4CE; Tue, 29 Mar 2005 17:23:43 +0000 (GMT) Received: from odin.ac.hmc.edu (Odin.AC.HMC.Edu [134.173.32.75]) by mx1.FreeBSD.org (Postfix) with ESMTP id 3E78143D46; Tue, 29 Mar 2005 17:23:43 +0000 (GMT) (envelope-from brdavis@odin.ac.hmc.edu) Received: from odin.ac.hmc.edu (localhost.localdomain [127.0.0.1]) by odin.ac.hmc.edu (8.13.0/8.13.0) with ESMTP id j2THNceb006450; Tue, 29 Mar 2005 09:23:38 -0800 Received: (from brdavis@localhost) by odin.ac.hmc.edu (8.13.0/8.13.0/Submit) id j2THNcJC006447; Tue, 29 Mar 2005 09:23:38 -0800 Date: Tue, 29 Mar 2005 09:23:38 -0800 From: Brooks Davis To: Peter Sewell Message-ID: <20050329172338.GA5995@odin.ac.hmc.edu> References: Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="OgqxwSJOaUobr8KG" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4.1i X-Virus-Scanned: by amavisd-new X-Spam-Status: No, hits=0.0 required=8.0 tests=none autolearn=no version=2.63 X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on odin.ac.hmc.edu cc: gnn@freebsd.org cc: freebsd-net@freebsd.org Subject: Re: Rigorous specification for TCP, UDP, and Sockets X-BeenThere: freebsd-net@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Networking and TCP/IP with FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 29 Mar 2005 17:23:43 -0000 --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--