Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 17 May 1995 10:23:31 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA224190774;
          Wed, 17 May 1995 02:52:54 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from iddth.id.dtu.dk by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA224160765;
          Wed, 17 May 1995 02:52:45 -0600
Received: from idatm4.id.dtu.dk (idatm4.id.dtu.dk [130.225.76.44]) 
          by iddth.id.dtu.dk (8.6.9/8.6.4) with SMTP id KAA18241 
          for <info-hol@leopard.cs.byu.edu>; Wed, 17 May 1995 10:54:18 +0200
From: robin@id.dtu.dk
Received: from localhost by idatm4.id.dtu.dk; (5.65/1.1.8.2/20Mar95-0114PM) 
          id AA05135; Wed, 17 May 1995 10:51:39 +0200
Message-Id: <9505170851.AA05135@idatm4.id.dtu.dk>
To: info-hol@leopard.cs.byu.edu
Cc: robin@iddth.id.dtu.dk
Subject: Re: Question on Dijkstra Quote
In-Reply-To: Your message of "Tue, 16 May 95 16:47:35 PDT." <9505162347.AA04588@oahu.cs.ucla.edu>
Date: Wed, 17 May 95 10:51:39 +0200
X-Mts: smtp

peter v. homeier asks about the origin of the quote:
	"Testing is fine for showing the presence of errors; 
	but it is useless for showing their absence."

I don't know if this is the original source (i.e. the first time that
Dijsktra presented this maxim), but it appears in Dijsktra's contribution
to "Structured Programming" by Dahl, Dijkstra and Hoare (Academic Press, 1972)
on page 6.

Robin Sharp
Dept. of Computer Science
Technical University of Denmark
robin@id.dtu.dk