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,703c4f68db81387d X-Google-Thread: 109fba,703c4f68db81387d X-Google-Thread: 115aec,703c4f68db81387d X-Google-Thread: f43e6,703c4f68db81387d X-Google-Attributes: gid103376,gid109fba,gid115aec,gidf43e6,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news.glorb.com!newscon02.news.prodigy.com!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada,comp.lang.c++,comp.realtime,comp.software-eng Subject: Re: Teaching new tricks to an old dog (C++ -->Ada) Date: 13 Mar 2005 19:31:47 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <871xau9nlh.fsf@insalien.org> <19167262.fkuVsrGd7i@linux1.krischik.com> NNTP-Posting-Host: shell01-e.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1110760309 15449 69.38.147.31 (14 Mar 2005 00:31:49 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Mon, 14 Mar 2005 00:31:49 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: g2news1.google.com comp.lang.ada:9343 comp.lang.c++:45472 comp.realtime:1435 comp.software-eng:4998 Date: 2005-03-13T19:31:47-05:00 List-Id: comeau@panix.com (Greg Comeau) writes: > >>>> Out of curiosity how old is the ACATS test, and how many > >>>> compilers currently pass it? > > Still looking for this number if anybody has it handy. Not sure which number you're looking for... The ACATS has been around since the 1980's (although in those days it was called ACVC; it got renamed ACATS around the time Ada 95 became an ISO standard). It gets updated from time to time, as new language revisions come out, and as the language committee issues rulings about some fine points of the language. As far as I know, all Ada compiler vendors take it seriously, and ensure that their compilers pass 100% of the test suite. My company (Sofcheck, Inc.) runs the ACATS every night, so we notice any regressions quickly. We don't normally release a compiler that doesn't pass. I believe AdaCore (the folks who produce the gcc version of Ada (GNAT)) do the same. As I said elsewhere, passing 100% of the ACATS, or 100% of any other test suite, does not guarantee the absense of bugs (obviously). > >BTW: In the past it was Ada(tm) and only compilers with pass the test where > >allowed to use the trademark Ada. For better or worse that is gone now - > >and with it the need for a vendor to publish the result. > > These points certainly "lessen the gap" then (if there was one) > and make it much closer to the C++ situation then. What is the C++ situation? Is there a conformance test suite available? Is it free? What about C (same questions)? (Sorry, if you already answered that.) By the way, the idea that Ada(tm) compilers had to pass some tests is long, long gone. It was a fairly silly idea, anyway, and totally unenforceable. Nobody's stopping anybody from producing a compiler for Ada-except-some-diffs, or C++-except-some-diffs, for that matter. - Bob