RE: [colorforth] abort

[Mark Slicker <maslicke@xxxxxxxxxxx>]

On Wed, 18 Jun 2003, Samuel Falvo wrote:

> > It was Dijkstra that said "Program testing can be used to show the
> > presence of bugs, but never to show their absence!"
>
> This is true to the extent that if the specifications are inadequately
> specified, then bugs can creep in without detection.  However, if a program
> fully meets a client's requirements, and those requirements are expressed as
> tests, then by definition, it is free of bugs.

If your specification is a test, that is likely not a very thorough
specification. To give an example:

If your specication for addition is:

2 + 2 = 4

this is fine if you only add 2 and 2, but inadequate if you consider the
addition of arbitrary integers modulo 2^32 .

Mark


---------------------------------------------------------------------
To unsubscribe, e-mail: colorforth-unsubscribe@xxxxxxxxxxxxxxxxxx
For additional commands, e-mail: colorforth-help@xxxxxxxxxxxxxxxxxx
Main web page - http://www.colorforth.com