From: Rik Hemsley <rik@...>
Date: 2001-12-22T03:49:13+09:00
Subject: [ruby-talk:29251] Re: John Roth dolt (  Re: A challenge to proponents of Unit Testing. )

On Friday 21 December 2001 2:31 am, you wrote:
> In comp.object Richard George <richard@dynasty-solutions.co.uk> wrote:
> > This whole discussion, and the effectiveness and coverage of the
> > testing performed by the XP method, hinges, like other test moethods,
> > on the quality and correctness of the requirements, both functional
> > and in programming flexibity. I have not read anything on the XP web
> > pages concerning this area. Do you have formal methods in this area?
>
> It also hinges upon the *degree* of quality assurance desired.  No program
> can be said to be 100% fail safe for against all errors.

Well, you can use the Z specification language to 'prove' that your
program will behave correctly, and you probably want to write in ADA
too, but I don't really believe this gains you much except a headache.

Rik