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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c0f035b936128b6c X-Google-Attributes: gid103376,public From: kst@sd.aonix.com (Keith Thompson) Subject: Re: Ada95 to ANSI_C converter Date: 1997/04/08 Message-ID: #1/1 X-Deja-AN: 232207757 Sender: news@thomsoft.com (USENET News Admin @flash) X-Nntp-Posting-Host: pulsar References: <5htg0a$v8v$1@news.nyu.edu> Organization: Aonix, San Diego, CA, USA Newsgroups: comp.lang.ada Originator: kst@pulsar Date: 1997-04-08T00:00:00+00:00 List-Id: I've deleted comp.lang.c from the Newsgroups header. In dewar@merv.cs.nyu.edu (Robert Dewar) writes: [...] > Anecdotally (we really should collect data on this, we have the raw data), > we have the impression that the Ada 95 tests tend to track user programs > more closely. They are certainly much less full of "nasty test cases". I've always been a bit suspicious of the "user-oriented" philosophy of the Ada 95 tests. To over-simplify, there are only finitely many language features, but there are potentially infinitely many user programs. It's a lot easier to test the former than the latter. The fact that a compiler had to pass a bunch of somebody else's "user-oriented" tests doesn't necessarily imply that it will work properly on *my* code. As I said, though, this is an over-simplification. The feature-oriented Ada 83 ACVCs certainly didn't cover the entire language, especially when you consider interactions between features. Does anyone have specific examples of things that the Ada 95 ACVCs deliberately don't test, that Ada 83-style ACVCs would have? -- Keith Thompson (The_Other_Keith) kst@sd.aonix.com <*> TeleSo^H^H^H^H^H^H Alsy^H^H^H^H Thomson Softw^H^H^H^H^H^H^H^H^H^H^H^H^H Aonix 5040 Shoreham Place, San Diego, CA, USA, 92122-5989 "Humor is such a subjective thing." -- Cartagia