Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.forth > #27757
| From | "Ed" <invalid@invalid.com> |
|---|---|
| Newsgroups | comp.lang.forth |
| Subject | Re: Hayes tester fails |
| Date | 2014-01-09 21:49 +1100 |
| Organization | Aioe.org NNTP Server |
| Message-ID | <lam1un$vdf$1@speranza.aioe.org> (permalink) |
| References | <lah624$s2s$2@speranza.aioe.org> <2014Jan8.155803@mips.complang.tuwien.ac.at> |
Anton Ertl wrote:
> "Ed" <invalid@invalid.com> writes:
> >Put the buggy routine through the Hayes tester and watch it pass.
>
> Most people already know this, but just in case you don't:
>
> "Program testing can be used to show the presence of bugs, but never
> to show their absence!"
Yet 200x supports, if not requires, such testing and specifies the Hayes tester
be used to do it.
Forth 2012 RC2:
Proposals Process
[..]
Testing:
This should test the feature/words you propose, in particular, it should test
boundary conditions. Where possible test cases should be written to conform
with John Hayes tester.f test harness."
Clearly the 200x TC believes such testing is meaningful.
I recall reading suggestions the Hayes tester be included in the 200x document.
I spoke against it.
It is my observation Forthers place too much faith in the Hayes tester. Vendors
include the Hayes tests in their distributions, presumably to support the claim
their system is Standard compliant. As does Gforth.
It is a pity Hayes didn't include a big fat disclaimer. None appear in any copy of
the tests I've seen. Nor do I recall any system provider adding *their* disclaimer
to the Hayes tests.
I make no apology for posting cases wherein the Hayes tester fails. If it discourages
reliance on the tester and its use as "proof" that systems are Standard compliant,
it can only be a good thing.
Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-08 02:20 +1100
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-07 21:15 +0000
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-07 21:20 +0000
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-08 14:58 +0000
Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-08 19:53 -0500
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-09 21:49 +1100
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-09 12:57 +0000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-11 16:06 +1100
Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-11 10:28 -0500
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-13 16:18 +0000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-15 10:29 +1100
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-15 00:00 +0000
Re: Hayes tester fails AKK <akk@nospam.org> - 2014-01-15 02:06 +0100
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-19 01:33 +1100
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-18 16:58 +0000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-21 00:09 +1100
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-20 14:36 +0000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-25 22:53 +1100
Re: Hayes tester fails "Alex McDonald" <blog@rivadpm.com> - 2014-01-25 23:21 +0000
Re: Hayes tester fails anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-01-21 14:50 +0000
Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-15 02:40 -0500
Re: Hayes tester fails "Elizabeth D. Rather" <erather@forth.com> - 2014-01-14 21:52 -1000
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-19 00:10 +1100
Re: Hayes tester fails Andrew Haley <andrew29@littlepinkcloud.invalid> - 2014-01-15 03:28 -0600
Re: Hayes tester fails "Rod Pemberton" <dont_use_email@xnohavenotit.cnm> - 2014-01-11 10:30 -0500
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-13 10:45 +1100
Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-09 02:51 -0800
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-09 22:12 +1100
Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-09 06:44 -0800
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-11 16:14 +1100
Re: Hayes tester fails Howerd <howerdo@yahoo.co.uk> - 2014-01-11 02:35 -0800
Re: Hayes tester fails Coos Haak <chforth@hccnet.nl> - 2014-01-11 13:46 +0100
Re: Hayes tester fails "Ed" <invalid@invalid.com> - 2014-01-13 11:16 +1100
csiph-web