From owner-freebsd-net@FreeBSD.ORG  Tue Mar 29 09:26:15 2005
Return-Path: <owner-freebsd-net@FreeBSD.ORG>
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 AFB4D16A4CE; Tue, 29 Mar 2005 09:26:15 +0000 (GMT)
Received: from mta1.cl.cam.ac.uk (mta1.cl.cam.ac.uk [128.232.0.15])
	by mx1.FreeBSD.org (Postfix) with ESMTP
	id 81F7743D1F; Tue, 29 Mar 2005 09:26:14 +0000 (GMT)
	(envelope-from peter.sewell@cl.cam.ac.uk)
Received: from stem.cl.cam.ac.uk ([128.232.9.62] helo=cl.cam.ac.uk)
	by mta1.cl.cam.ac.uk with esmtp (Exim 3.092 #1)
	id 1DGCzF-0001sr-00; Tue, 29 Mar 2005 10:26:13 +0100
To: gnn@freebsd.org
In-Reply-To: Message from gnn@freebsd.org 
   of "Tue, 29 Mar 2005 10:20:48 +0900." <m2ekdzs0wf.wl%gnn@neville-neil.com> 
Date: Tue, 29 Mar 2005 10:26:13 +0100
From: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
Message-Id: <E1DGCzF-0001sr-00@mta1.cl.cam.ac.uk>
cc: freebsd-net@freebsd.org
cc: Peter.Sewell@cl.cam.ac.uk
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 <freebsd-net.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-net>
List-Post: <mailto:freebsd-net@freebsd.org>
List-Help: <mailto:freebsd-net-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-net>,
	<mailto:freebsd-net-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Mar 2005 09:26:15 -0000


>Hi Peter,
>
>Interesting paper and work.  

Many thanks.

>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.

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.

What kind of regression testing is in use now?

best wishes,
Peter