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,42427d0d1bf647b1
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada Core Technologies and Ada95 Standards
Date: 1996/04/16
Message-ID: <dewar.829627400@schonberg>#1/1
X-Deja-AN: 147755337
references: <00001a73+00002c20@msn.com> <dewar.827809782@schonberg>
 <828038680.5631@assen.demon.co.uk> <dewar.828062076@schonberg>
 <828127251.85@assen.demon.co.uk> <dewar.828157508@schonberg>
 <315FD5C9.342F@lfwc.lockheed.com> <dewar.829186289@schonberg>
 <31729038.20BF@lfwc.lockheed.com>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-04-16T00:00:00+00:00
List-Id: <comp.lang.ada>

Ken Garlington said

"Slow down with the speed reading, Dr. Dewar. I said "provides more coverage,"
not "does coverage testing." There is a difference!

The rumor, which some guy named Dr. Brian Wichmann fed me, is that this tool
does the following:"

Ah, I thought by coverage you meant that it covered more features in the
language, not coverage testing, that's something different. And the point
is that Brian's test generator does not test any features not tested
pretty thoroughly in the ACVC suite. What it does is stress test these
features. 

Any additional testing is alwys likely to be helpful, and although
the NPL test suite is limited in scope (it is for example strictly
Ada 83 still, since as far as I know no one has funded the update
to Ada 95), it is definitely a useful tool. We certainly plan to
use this tool in testing GNAT.