RE: running code vs. formal testing methods

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: running code vs. formal testing methods

To: <ietf at ietf.org>
Subject: RE: running code vs. formal testing methods
From: Frank Kastenholz <kasten at argon.com>
Date: Wed, 04 Aug 1999 08:19:52 -0400
In-reply-to: <001a01bede29$b95c1e40$594797d1@vsys.com>
References: <01JE73T7E44490NZTR@shoe.reston.mci.net>


formal methods are tools
nothing more
nothing less

like any tool, sometimes they
can be useful. sometimes they
can be useless, or even harmful.

a screwdriver, even the world's
best most swoopiest screwdriver,
is pretty useless if all you 
have is nails.

References:
- Re: running code vs. formal testing methods
  - From: vinton g. cerf
- RE: running code vs. formal testing methods
  - From: Bob Wise

Prev by Date: Re: Proper use of domain names.
Next by Date: Re: Proper use of domain names.
Previous by thread: RE: running code vs. formal testing methods
Next by thread: RE: running code vs. formal testing methods
Index(es):
- Date
- Thread

Note Well: Messages sent to this mailing list are the opinions of the senders and do not imply endorsement by the IETF.

Note: Messages sent to this list are the opinions of the senders and do not imply endorsement by the IETF.