From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: What's stopping you from using Ada for your next commercial project?
Date: Fri, 11 Mar 2011 16:40:56 -0600
Date: 2011-03-11T16:40:56-06:00 [thread overview]
Message-ID: <ile8ds$ahv$1@munin.nbi.dk> (raw)
In-Reply-To: alpine.WNT.2.00.1103110703470.1228@WHIRLWIND
"Peter C. Chapin" <PChapin@vtc.vsc.edu> wrote in message
news:alpine.WNT.2.00.1103110703470.1228@WHIRLWIND...
> On Fri, 11 Mar 2011, Manfred Kremer wrote:
>
>> Wonder what happened to the Ada Compiler Validation Suite.
>> Was this abandoned or is it still maintained to reflect recent changes to
>> the ARM?
>
> Didn't it become ACATS?
>
> http://www.ada-auth.org/acats.html
>
> If so, it has been updated to follow the latest standard.
Right, but keep in mind that the purpose of the ACATS is to ensure
commonality between Ada implementations, not to find bugs per-se. Of course,
it does have the effect of finding bugs as well.
In particular, the ACATS does not have a lot of tests that combine various
features together. That's simply because the emphasis is on ensuring that
every feature is there and works as expected -- bugs are much more likely to
surface when features are combined (as in the OPs question).
So while the ACATS raises the quality of Ada compilers, it is not going to
come close to eliminating bugs in those compilers.
Randy.
next prev parent reply other threads:[~2011-03-11 22:40 UTC|newest]
Thread overview: 128+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-08 22:23 What's stopping you from using Ada for your next commercial project? Lucretia
2011-03-09 3:19 ` Hoàng Đình Long
2011-03-09 8:41 ` Ludovic Brenta
2011-03-09 8:58 ` Maciej Sobczak
2011-03-09 14:17 ` Georg Bauhaus
2011-03-09 14:21 ` localhost
2011-03-09 15:06 ` Georg Bauhaus
2011-03-09 15:17 ` localhost
2011-03-10 14:20 ` Peter C. Chapin
2011-03-10 14:31 ` Thomas Løcke
2011-03-10 16:01 ` Georg Bauhaus
2011-03-10 16:07 ` Georg Bauhaus
2011-03-10 17:31 ` Dirk Craeynest
2011-03-09 20:43 ` Simon Wright
2011-03-09 22:04 ` Maciej Sobczak
2011-03-10 0:38 ` Lucretia
2011-03-10 7:52 ` Maciej Sobczak
2011-03-10 8:06 ` Thomas Løcke
2011-03-10 8:26 ` Nasser M. Abbasi
2011-03-10 10:28 ` Thomas Løcke
2011-03-10 10:45 ` J-P. Rosen
2011-03-11 9:40 ` Hoàng Đình Long
2011-03-13 11:09 ` Yannick Duchêne (Hibou57)
2011-03-13 10:55 ` Yannick Duchêne (Hibou57)
2011-03-10 8:27 ` Ludovic Brenta
2011-03-10 10:35 ` Thomas Løcke
2011-03-10 11:12 ` Dmitry A. Kazakov
2011-03-10 12:17 ` Georg Bauhaus
2011-03-10 12:27 ` Thomas Løcke
2011-03-10 12:58 ` Dmitry A. Kazakov
2011-03-10 13:30 ` Georg Bauhaus
2011-03-10 13:49 ` Maciej Sobczak
2011-03-10 14:31 ` Dmitry A. Kazakov
2011-03-10 14:45 ` Thomas Løcke
2011-03-10 15:17 ` Dmitry A. Kazakov
2011-03-13 11:38 ` Yannick Duchêne (Hibou57)
2011-03-13 11:58 ` Dmitry A. Kazakov
2011-03-13 12:17 ` Yannick Duchêne (Hibou57)
2011-03-13 14:35 ` Dmitry A. Kazakov
2011-03-14 2:38 ` Yannick Duchêne (Hibou57)
2011-03-14 8:43 ` Dmitry A. Kazakov
2011-03-10 21:11 ` Randy Brukardt
2011-03-11 8:12 ` Manfred Kremer
2011-03-11 12:04 ` Peter C. Chapin
2011-03-11 22:40 ` Randy Brukardt [this message]
2011-03-11 23:24 ` Dan
2011-03-10 13:33 ` Maciej Sobczak
2011-03-10 17:08 ` Dirk Craeynest
2011-03-14 19:11 ` Florian Weimer
2011-03-14 21:10 ` Ludovic Brenta
2011-03-13 10:51 ` Yannick Duchêne (Hibou57)
2011-03-13 10:24 ` Yannick Duchêne (Hibou57)
2011-03-13 21:43 ` Maciej Sobczak
2011-03-13 22:04 ` Thomas Løcke
2011-03-14 0:09 ` Simon Wright
2011-03-14 2:57 ` Yannick Duchêne (Hibou57)
2011-03-14 16:45 ` Pascal Obry
2011-03-14 18:29 ` Simon Wright
2011-03-14 18:37 ` Florian Weimer
2011-03-14 19:43 ` Simon Wright
2011-03-14 2:53 ` Yannick Duchêne (Hibou57)
2011-03-13 10:29 ` Yannick Duchêne (Hibou57)
2011-03-13 21:48 ` Maciej Sobczak
2011-03-13 10:34 ` Yannick Duchêne (Hibou57)
2011-03-13 11:42 ` Simon Wright
2011-03-13 12:06 ` Yannick Duchêne (Hibou57)
2011-03-12 19:55 ` Florian Weimer
2011-03-25 12:36 ` Marco
2011-03-25 22:30 ` Maciej Sobczak
2011-03-26 12:00 ` Georg Bauhaus
2011-03-27 21:13 ` Yannick Duchêne (Hibou57)
2011-03-27 20:49 ` Yannick Duchêne (Hibou57)
2011-03-09 9:11 ` Thomas Løcke
2011-03-12 21:50 ` Lucretia
2011-03-09 10:39 ` localhost
2011-03-09 11:24 ` Nasser M. Abbasi
2011-03-09 11:38 ` localhost
2011-03-09 14:16 ` Georg Bauhaus
2011-03-10 10:21 ` Gerd
2011-03-10 11:27 ` Dmitry A. Kazakov
2011-03-10 11:49 ` Georg Bauhaus
2011-03-11 8:37 ` Stephen Leake
2011-03-11 12:08 ` Peter C. Chapin
2011-03-11 15:15 ` Dmitry A. Kazakov
2011-03-11 15:37 ` Hyman Rosen
2011-03-12 20:26 ` Florian Weimer
2011-03-26 15:15 ` Gerd
2011-03-26 16:20 ` Pascal Obry
2011-03-09 11:36 ` Ludovic Brenta
2011-03-09 11:42 ` localhost
2011-03-10 2:22 ` KK6GM
2011-03-11 14:01 ` Rego
2011-03-11 15:20 ` KK6GM
2011-03-11 16:42 ` Rego
2011-03-11 18:15 ` KK6GM
2011-03-11 20:09 ` Thomas Løcke
2011-03-11 16:46 ` Georg Bauhaus
2011-03-14 12:18 ` jonathan
2011-03-14 14:12 ` KK6GM
2011-04-08 12:53 ` Jacob Sparre Andersen
2011-03-14 18:00 ` Niklas Holsti
2011-03-12 12:47 ` Stephen Leake
2011-03-12 18:15 ` KK6GM
2011-03-13 17:55 ` Lucretia
2011-03-14 3:28 ` Yannick Duchêne (Hibou57)
2011-03-15 0:40 ` Lucretia
2011-03-14 3:20 ` Yannick Duchêne (Hibou57)
2011-03-14 3:17 ` Yannick Duchêne (Hibou57)
2011-03-14 12:15 ` KK6GM
2011-03-14 13:41 ` Yannick Duchêne (Hibou57)
2011-03-14 14:05 ` KK6GM
2011-03-14 14:38 ` Peter C. Chapin
2011-03-14 14:07 ` Dmitry A. Kazakov
2011-03-14 14:00 ` Dmitry A. Kazakov
2011-03-14 14:09 ` KK6GM
2011-03-14 14:42 ` Yannick Duchêne (Hibou57)
2011-03-14 17:17 ` Georg Bauhaus
2011-03-14 17:25 ` Yannick Duchêne (Hibou57)
2011-03-14 20:04 ` Simon Clubley
2011-03-14 22:12 ` J-P. Rosen
2011-03-15 12:11 ` Simon Clubley
2011-03-15 20:25 ` J-P. Rosen
2011-03-15 14:55 ` Yannick Duchêne (Hibou57)
2011-03-15 20:28 ` J-P. Rosen
2011-03-15 4:10 ` Yannick Duchêne (Hibou57)
2011-03-14 14:39 ` Yannick Duchêne (Hibou57)
2011-03-10 21:35 ` Gautier write-only
2011-03-13 12:04 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox