Re: TDD: Test-Driven Design or Test-Driven Development?
From: Universe (universe_at_tAkEcovadOuT.net)
Date: 03/01/04
- Next message: Nick Landsberg: "Re: TDD: Test-Driven Design or Test-Driven Development?"
- Previous message: H. S. Lahman: "Re: PPP Payroll Example"
- In reply to: Laurent Bossavit: "Re: TDD: Test-Driven Design or Test-Driven Development?"
- Next in thread: David Lightstone: "Re: TDD: Test-Driven Design or Test-Driven Development?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Mon, 1 Mar 2004 16:11:29 -0500
"Laurent Bossavit" <laurent@dontspambossavit.com> wrote:
> Testing cannot prove a program correct - in the same way that experiment
> cannot prove a theory;
To the contrary, most chemists, physicists, etc operate on the principle
that a hypothesis that explains all key experimental results as a whole -
together - is proven, for the context of the experiments.
> rather, we build a theory of the program's
> correctness on the results of thousands of experiments - most
> successful, many unsuccessful - each probing one aspect or another of
> the program.
Dijkstra paraphrased stated:
*Never can a program be verified not to do that left unspecified*
But that is different from a hypothesis being proved by explaining all key
relevant facts. Of course such a hypothesis then graduates to "Theory".
Elliott
--
But woefully as the great, but never late Dr. Dijkstra stated:
all that can be verified about any program is that it does what was
*specified*.
*Never can a program be verified not to do that left unspecified*
- Next message: Nick Landsberg: "Re: TDD: Test-Driven Design or Test-Driven Development?"
- Previous message: H. S. Lahman: "Re: PPP Payroll Example"
- In reply to: Laurent Bossavit: "Re: TDD: Test-Driven Design or Test-Driven Development?"
- Next in thread: David Lightstone: "Re: TDD: Test-Driven Design or Test-Driven Development?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
