From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,677963b1aa23e668
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: What's stopping you from using Ada for your next commercial
 project?
Date: Fri, 11 Mar 2011 16:40:56 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <ile8ds$ahv$1@munin.nbi.dk>
References: 
 <fb3979d4-0335-474f-a62e-f71641969da8@p24g2000vbl.googlegroups.com>
 <dab11bae-5b63-485f-bdea-aa73f569e303@17g2000prr.googlegroups.com>
 <m2r5aguis4.fsf@pushface.org>
 <eec8247f-77e8-4f8a-9d2d-442b6211bf8f@i3g2000vby.googlegroups.com>
 <4d78867e$0$23760$14726298@news.sunsite.dk>
 <87r5afv0qa.fsf@ludovic-brenta.org>
 <4d78a96b$0$23753$14726298@news.sunsite.dk>
 <n7c8wllerowi.1a3dvgd7iia3z$.dlg@40tude.net>
 <4d78c3c6$0$23757$14726298@news.sunsite.dk> <ilber1$hcc$1@munin.nbi.dk>
 <ilclh5$5l7$01$1@news.t-online.com>
 <alpine.WNT.2.00.1103110703470.1228@WHIRLWIND>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1299883261 10815 69.95.181.76 (11 Mar 2011 22:41:01 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 11 Mar 2011 22:41:01 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931
Xref: g2news1.google.com comp.lang.ada:18097
Date: 2011-03-11T16:40:56-06:00
List-Id: <comp.lang.ada>

"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.