Re: An attack on a mint

"Karp, Alan H" <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <B9B0C3C501993E4CBCF04411E76197C81833AEDE@G3W0637.americas.hpqcorp.net>
Bill Frantz wrote:
>
> I have used random number driven test drivers for some testing in
> the past. Random number testing has turned up problems which I
> would not have found (until after the code went production) by
> normal techniques. I like the technique.
>
That's what Intel used to check its divide hardware :(  Actually, using random data is a good technique, but Kahan has shown the importance of including specific boundary cases as well.  Hence, the n+1>n test for integer overflow.

________________________
Alan Karp
Principal Scientist
Virus Safe Computing Initiative
Hewlett-Packard Laboratories
1501 Page Mill Road
Palo Alto, CA 94304
(650) 857-3967, fax (650) 857-7029
http://www.hpl.hp.com/personal/Alan_Karp
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.