Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.forth > #27788

Re: Hayes tester fails

From "Ed" <invalid@invalid.com>
Newsgroups comp.lang.forth
Subject Re: Hayes tester fails
Date 2014-01-11 16:06 +1100
Organization Aioe.org NNTP Server
Message-ID <laqjkl$nqs$1@speranza.aioe.org> (permalink)
References <lah624$s2s$2@speranza.aioe.org> <2014Jan8.155803@mips.complang.tuwien.ac.at> <lam1un$vdf$1@speranza.aioe.org> <2014Jan9.135754@mips.complang.tuwien.ac.at>

Show all headers | View raw

Anton Ertl wrote:
> "Ed" <invalid@invalid.com> writes:
> >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.
>
> Yes, testing is meaningful and useful, even if it does not prove the
> absence of bugs.

What does the 200x TC hope to derive from tests written in Hayes format
which will obviously show a positive outcome?  The only rationale I can
imagine is that it wants to add the tests to the Hayes suite.  What message
would that send?

Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

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