From: Mike Young <mikey@mcs.com>
Subject: Re: Ada Core Technologies and Ada95 Standards
Date: 1996/04/01
Date: 1996-04-01T00:00:00+00:00 [thread overview]
Message-ID: <3160A82A.49AB@mcs.com> (raw)
In-Reply-To: dewar.828397516@schonberg
Robert Dewar wrote:
>
> iJohn McCabe said
>
> "`` I was obviously thinking of validation of Ada compilers in the same
> way that _my_ software is validated - i.e a full set of test cases
> proving that _all_ requirements have been met. ''"
>
> I and others pointed out that this is obviously false for complex
> software of any kind. If John really thinke he can provide this
> proof via test cases, he is deluding himself (and his clients).
>
> What is more interesting is that even a VERY simple program cannot
> be provied by simple input-output tests. Consider the following
> program to add the numbers from 1 to 10.
>
> with Text_IO; use Text_IO;
>
> procedure s is
> sum : integer;
> begin
> for j in 1 .. 10 loop
> sum := sum + j;
> end loop;
>
> Put_Line (Integer'Image (j));
> end;
>
> this works fine on my machine. exhaustive testing (one case!!) proves
> that it works, but of course it has a fatal problem, and may not work
> tomorrow
=======
I don't see the connection... Are you saying validation is
happen-stance, that the brightest minds can't come up with a test suite
to test all expected behavior? Your "test" seems reasonable enough to
validate that integer var's are initialized to zero by default; ehhh, at
least the few times you ran the test case...
Mike.
next prev parent reply other threads:[~1996-04-01 0:00 UTC|newest]
Thread overview: 106+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-03-25 0:00 Ada Core Technologies and Ada95 Standards Kenneth Mays
1996-03-25 0:00 ` Robert Dewar
1996-03-28 0:00 ` John McCabe
1996-03-28 0:00 ` Robert Dewar
1996-03-29 0:00 ` John McCabe
1996-03-29 0:00 ` Robert Dewar
1996-04-01 0:00 ` Ken Garlington
1996-04-01 0:00 ` Robert Dewar
1996-04-02 0:00 ` John McCabe
1996-04-02 0:00 ` Ken Garlington
1996-04-02 0:00 ` John McCabe
1996-04-02 0:00 ` Robert A Duff
1996-04-02 0:00 ` Robert Dewar
1996-04-03 0:00 ` Ken Garlington
1996-04-04 0:00 ` Robert Dewar
1996-04-04 0:00 ` Ken Garlington
1996-04-05 0:00 ` Robert Dewar
1996-04-10 0:00 ` Ken Garlington
1996-04-10 0:00 ` Robert Dewar
1996-04-10 0:00 ` Robert Dewar
1996-04-12 0:00 ` Philip Brashear
1996-04-12 0:00 ` Robert Dewar
1996-04-15 0:00 ` Tiring Arguments Around (not about) Two Questions Ken Garlington
1996-04-15 0:00 ` Gary McKee
1996-04-16 0:00 ` Ken Garlington
1996-04-17 0:00 ` Kenneth Almquist
1996-04-18 0:00 ` Ada Core Technologies and Ada95 Standards John McCabe
1996-04-19 0:00 ` Robert Dewar
1996-04-22 0:00 ` John McCabe
1996-04-23 0:00 ` Ken Garlington
1996-04-24 0:00 ` Robert Dewar
1996-04-26 0:00 ` Ken Garlington
1996-04-24 0:00 ` John McCabe
1996-04-24 0:00 ` Robert Dewar
1996-04-26 0:00 ` John McCabe
1996-04-26 0:00 ` John McCabe
1996-04-26 0:00 ` Ken Garlington
1996-04-25 0:00 ` Ken Garlington
1996-04-24 0:00 ` Robert Dewar
1996-04-26 0:00 ` Ken Garlington
1996-04-27 0:00 ` Robert Dewar
1996-04-22 0:00 ` Ken Garlington
1996-04-15 0:00 ` Ken Garlington
1996-04-16 0:00 ` Robert Dewar
1996-04-16 0:00 ` Ken Garlington
1996-04-16 0:00 ` Robert Dewar
1996-04-02 0:00 ` John McCabe
1996-04-02 0:00 ` Robert A Duff
1996-04-16 0:00 ` John McCabe
1996-04-16 0:00 ` Robert Dewar
1996-04-22 0:00 ` John McCabe
1996-04-23 0:00 ` Ken Garlington
1996-04-24 0:00 ` Robert Dewar
1996-04-26 0:00 ` Ken Garlington
1996-04-27 0:00 ` Robert Dewar
1996-04-29 0:00 ` Cordes MJ
1996-04-29 0:00 ` Robert Dewar
1996-05-06 0:00 ` John McCabe
1996-05-06 0:00 ` Robert Dewar
1996-05-08 0:00 ` John McCabe
1996-05-08 0:00 ` TARTAN and TI Tom Robinson
1996-05-09 0:00 ` Arthur Evans Jr
[not found] ` <Dr46LG.2FF@world.std.com>
1996-05-09 0:00 ` Ada Core Technologies and Ada95 Standards John McCabe
1996-05-07 0:00 ` Mike Cordes
1996-05-07 0:00 ` Mike Cordes
1996-04-10 0:00 ` Robert Dewar
1996-04-15 0:00 ` Ken Garlington
1996-04-16 0:00 ` Robert Dewar
1996-04-16 0:00 ` Ken Garlington
1996-04-16 0:00 ` Robert Dewar
1996-04-18 0:00 ` Ken Garlington
1996-03-31 0:00 ` Geert Bosch
1996-04-01 0:00 ` Robert Dewar
1996-04-01 0:00 ` Mike Young [this message]
1996-04-03 0:00 ` Robert Dewar
1996-03-29 0:00 ` steved
1996-03-29 0:00 ` Applet Magic works great, sort of Bob Crispen
1996-03-29 0:00 ` Vince Del Vecchio
1996-04-03 0:00 ` Ada Core Technologies and Ada95 Standards Ken Garlington
1996-04-04 0:00 ` Robert Dewar
1996-04-04 0:00 ` John McCabe
1996-04-05 0:00 ` Robert Dewar
1996-04-06 0:00 ` Ada validation is virtually worthless Raj Thomas
1996-04-06 0:00 ` Robert Dewar
1996-04-08 0:00 ` Arthur Evans Jr
1996-04-07 0:00 ` Ada Core Technologies and Ada95 Standards John McCabe
1996-04-03 0:00 ` Robert I. Eachus
1996-04-05 0:00 ` Robert I. Eachus
1996-04-10 0:00 ` Cordes MJ
1996-04-10 0:00 ` Robert Dewar
1996-04-15 0:00 ` Ken Garlington
1996-04-16 0:00 ` Robert Dewar
1996-04-16 0:00 ` Ken Garlington
1996-04-16 0:00 ` Robert Dewar
1996-04-11 0:00 ` Robert I. Eachus
1996-04-11 0:00 ` Robert I. Eachus
1996-04-19 0:00 ` Laurent Guerby
1996-04-25 0:00 ` Tiring Arguments Around (not about) Two Questions [VERY LONG] Laurent Guerby
1996-04-26 0:00 ` Ken Garlington
1996-04-29 0:00 ` Philip Brashear
-- strict thread matches above, loose matches on Subject: below --
1996-04-01 0:00 Ada Core Technologies and Ada95 Standards Simon Johnston
1996-04-24 0:00 W. Wesley Groleau (Wes)
1996-04-25 0:00 ` Robert Dewar
1996-04-25 0:00 ` Theodore E. Dennison
1996-04-25 0:00 ` Ken Garlington
1996-04-29 0:00 Marin David Condic, 407.796.8997, M/S 731-93
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox